]> git.lizzy.rs Git - rust.git/commit
solver comments + remove `TyCtxt::evaluate_goal`
authorlcnr <rust@lcnr.de>
Thu, 26 Jan 2023 09:57:11 +0000 (10:57 +0100)
committerlcnr <rust@lcnr.de>
Thu, 26 Jan 2023 10:02:28 +0000 (11:02 +0100)
commit727b987e0668fb87a328b7312cafdd40b75e8ed9
treef85c170f52ef749b2870c01f9bdd00b871381bc9
parente187f8871e3d553181c9d2d4ac111197a139ca0d
solver comments + remove `TyCtxt::evaluate_goal`
compiler/rustc_trait_selection/src/solve/mod.rs
compiler/rustc_trait_selection/src/solve/project_goals.rs