about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/eval_ctxt
AgeCommit message (Expand)AuthorLines
2023-07-03Implement selection in new trait solverMichael Goulet-4/+307
2023-06-20split probe into 2 functions for better readabilitylcnr-0/+47
2023-06-11Auto merge of #112466 - lcnr:opaque-type-cleanup, r=compiler-errorsbors-7/+2
2023-06-09split opaque type handling in new solverlcnr-7/+2
2023-06-08deduplicate identical region constraintsMichael Goulet-1/+5
2023-05-30update universe used by the leak checklcnr-1/+3
2023-05-30add the leak check to the new solverlcnr-0/+5
2023-05-25Add InferCtxt::register_hidden_type_in_new_solverMichael Goulet-21/+10
2023-05-25Prepopulate opaques in canonical inputMichael Goulet-9/+52
2023-04-26Split out make_ambiguous_response_no_constraintsMichael Goulet-19/+42
2023-04-26Clear response values for overflow in new solverMichael Goulet-3/+32
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-20Result is just bool but specialMichael Goulet-2/+3
2023-04-20Track if EvalCtxt has been tainted, make sure it can't be used to make query ...Michael Goulet-0/+6
2023-04-17Spelling - compilerJosh Soref-3/+3
2023-04-16Various minor Idx-related tweaksScott McMurray-6/+7
2023-04-10Fix typos in compilerDaniPopes-2/+2
2023-04-10review + some small stufflcnr-1/+1
2023-04-06Remove expect_anon and expect_anon_placeholder in favor of varJack Huey-1/+1
2023-03-29Move canonicalization code aroundMichael Goulet-0/+230