about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/eval_ctxt.rs
AgeCommit message (Expand)AuthorLines
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-21/+12
2023-07-10avoid building proof trees in selectlcnr-2/+3
2023-07-06Don't call type_of on TAIT in defining scope in new solverMichael Goulet-1/+1
2023-07-05Auto merge of #113329 - lcnr:probe_candidate, r=BoxyUwUbors-20/+14
2023-07-04Auto merge of #113330 - matthiaskrgr:rollup-zm3owin, r=matthiaskrgrbors-13/+28
2023-07-04Rollup merge of #113324 - lcnr:const-evaluatable-goal, r=BoxyUwUMatthias Krüger-6/+5
2023-07-04Rollup merge of #113296 - BoxyUwU:proof_trees_on_error, r=lcnrMatthias Krüger-7/+23
2023-07-04add `ecx.probe_candidate`lcnr-20/+14
2023-07-04reviewsBoxy-9/+9
2023-07-04implement `ConstEvaluatable` goals in new solverlcnr-6/+5
2023-07-04Replace `const_error` methods with `Const::new_error`Boxy-1/+1
2023-07-04move logic for flags into separate functionBoxy-29/+1
2023-07-04change flag nameBoxy-1/+1
2023-07-04reviewsBoxy-3/+1
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-3/+0
2023-07-03add flag for disabling global cache and printing proof trees on errorBoxy-7/+53
2023-07-03Helpers for creating EvalCtxts, some commentsMichael Goulet-56/+94
2023-07-03Implement selection in new trait solverMichael Goulet-0/+2
2023-06-26TypeWellFormedInEnvMichael Goulet-1/+1
2023-06-21Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnrNilstrieb-7/+7
2023-06-20Auto merge of #112835 - lcnr:proof-tree-nits, r=BoxyUwUbors-34/+12
2023-06-20cleanup importslcnr-3/+3
2023-06-20split probe into 2 functions for better readabilitylcnr-31/+9
2023-06-19s/Clause/ClauseKindMichael Goulet-7/+7
2023-06-19Don't consider TAIT normalizable to hidden ty if it would result in impossibl...Michael Goulet-3/+10
2023-06-19create module so that RUSTC_LOG can filter to just proof treesBoxy-1/+2
2023-06-19allow caller to force proof tree generationBoxy-14/+25
2023-06-19show normalizes-to hack and response instantiation goalsBoxy-12/+19
2023-06-19introduce a separate set of types for finalized proof treesBoxy-18/+16
2023-06-19dont use a traitBoxy-22/+16
2023-06-19add -Z flagBoxy-3/+11
2023-06-19initial info dumpBoxy-53/+122
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-1/+1
2023-06-16Rollup merge of #112443 - compiler-errors:next-solver-opportunistically-resol...Dylan DPC-1/+4
2023-06-14Auto merge of #110662 - bryangarza:safe-transmute-reference-types, r=compiler...bors-5/+3
2023-06-13opportunistically resolve regionsMichael Goulet-1/+4
2023-06-12Safe Transmute: Refactor error handling and Answer typeBryan Garza-5/+3
2023-06-09split opaque type handling in new solverlcnr-27/+42
2023-06-06New trait solver is a property of inference contextMichael Goulet-0/+1
2023-06-02No const equate in new solverMichael Goulet-2/+5
2023-06-02Normalize anon consts in new solverMichael Goulet-0/+17
2023-05-25Add InferCtxt::register_hidden_type_in_new_solverMichael Goulet-16/+7
2023-05-25Check that opaque is a defining use, prefer pre-defined opaquesMichael Goulet-2/+46
2023-05-25Prepopulate opaques in canonical inputMichael Goulet-8/+63
2023-05-24Safe Transmute: Change Answer type to ResultBryan Garza-5/+5
2023-04-26Clear response values for overflow in new solverMichael Goulet-6/+13
2023-04-20Result is just bool but specialMichael Goulet-5/+6
2023-04-20Track if EvalCtxt has been tainted, make sure it can't be used to make query ...Michael Goulet-0/+14
2023-04-16Erase regions when confirming transmutability candidateMichael Goulet-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 05:17:31 +0000