about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2023-03-15Auto merge of #107376 - aliemjay:remove-givens, r=lcnrbors-7/+7
2023-03-14Remove box expressions from HIRclubby789-3/+0
2023-03-14Rollup merge of #108915 - spastorino:new-rpitit-8, r=compiler-errorsMatthias Krüger-0/+4
2023-03-14Rollup merge of #108909 - spastorino:new-rpitit-7, r=compiler-errorsMatthias Krüger-3/+3
2023-03-14Remove some direct calls to local_def_id_to_hir_id on diagnosticsSantiago Pastorino-0/+4
2023-03-14Auto merge of #104833 - Swatinem:async-identity-future, r=compiler-errorsbors-8/+1
2023-03-13Better names?Michael Goulet-13/+13
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-15/+49
2023-03-12Rollup merge of #109032 - compiler-errors:shorter, r=BoxyUwUMatthias Krüger-15/+13
2023-03-12Fix object safety checks for new RPITITsSantiago Pastorino-3/+2
2023-03-12Filter out RPITITs in object_safety_violations_for_traitSantiago Pastorino-0/+1
2023-03-12Rollup merge of #108841 - jackh726:issue-90528, r=compiler-errorsMatthias Krüger-7/+90
2023-03-12Rollup merge of #108726 - est31:backticks_matchmaking_tidy, r=NilstriebMatthias Krüger-2/+3
2023-03-11Use TyCtxt::trait_solver_next in some placesMichael Goulet-15/+13
2023-03-11Simplify message pathsest31-1/+1
2023-03-11Add a fixme and address a more non trivial caseest31-1/+2
2023-03-11Address the new odd backticks tidy lint in compiler/est31-1/+1
2023-03-11Rollup merge of #108071 - compiler-errors:new-solver-caching, r=lcnrMatthias Krüger-171/+78
2023-03-10Actually cache goalsMichael Goulet-70/+60
2023-03-10Move some solver stuff to middleMichael Goulet-101/+18
2023-03-10Rollup merge of #108947 - compiler-errors:ct-infer-no-shapeshifting, r=BoxyUwUMatthias Krüger-3/+3
2023-03-10Rollup merge of #108937 - lcnr:winnowing-enum, r=WaffleLapkinMatthias Krüger-40/+67
2023-03-10Rollup merge of #108834 - compiler-errors:fn-ptr-fn-obl, r=spastorinoMatthias Krüger-3/+11
2023-03-10Rollup merge of #108828 - compiler-errors:new-solver-alias-eq-on-num-var, r=lcnrMatthias Krüger-4/+4
2023-03-10Rollup merge of #108960 - compiler-errors:no-body-def-id, r=cjgillotMatthias Krüger-43/+30
2023-03-10Rollup merge of #108945 - spastorino:pass-def-id-instead-of-using-hir-id, r=c...Matthias Krüger-32/+32
2023-03-10updating commentlcnr-1/+1
2023-03-10Unconstrained terms should account for infer vars being equatedMichael Goulet-15/+20
2023-03-09Remove body_def_id from InheritedMichael Goulet-43/+30
2023-03-09Make some report and emit errors take DefIds instead of BodyIdsSantiago Pastorino-32/+32
2023-03-09Use param's real type in try_eval_lit_or_paramMichael Goulet-3/+3
2023-03-09Fix canonicalizer bug for int/float vars tooMichael Goulet-4/+4
2023-03-09improve readability of winnowinglcnr-39/+66
2023-03-09Auto merge of #108920 - matthiaskrgr:rollup-qrr9a0u, r=matthiaskrgrbors-14/+38
2023-03-09resolve regions before implied boundsAli MJ Al-Nasrawy-5/+7
2023-03-09remove obsolete `givens` from regionckAli MJ Al-Nasrawy-2/+0
2023-03-08Rollup merge of #108839 - compiler-errors:canonicalize-the-root-var, r=lcnrMatthias Krüger-11/+33
2023-03-08Rollup merge of #108754 - compiler-errors:retry, r=oli-obkMatthias Krüger-3/+5
2023-03-08Rollup merge of #108901 - LYF1999:yf/108897, r=lcnrMatthias Krüger-2/+2
2023-03-08Rollup merge of #108883 - compiler-errors:post-norm-copy-err, r=BoxyUwUMatthias Krüger-1/+6
2023-03-08Remove `identity_future` indirectionArpad Borsos-8/+1
2023-03-08Auto merge of #108121 - aliemjay:resolve-var-region, r=lcnrbors-2/+2
2023-03-08fix: evaluate with wrong obligation stackyifei-2/+2
2023-03-08Suppress copy impl error when post-normalized type references errorsMichael Goulet-1/+6
2023-03-07fix var equality issue with old canonicalizerMichael Goulet-1/+0
2023-03-07Canonicalize the ROOT VARMichael Goulet-11/+34
2023-03-07Add suggestion to diagnostic when user has array but trait wants slice.Ben Reeves-7/+90
2023-03-06Do not ICE when we have fn pointer Fn obligations with bound vars in the self...Michael Goulet-3/+11
2023-03-06Rollup merge of #108750 - compiler-errors:aaaaaaaa, r=lcnrMatthias Krüger-1/+1
2023-03-05Rollup merge of #108764 - cjgillot:dpm-adapt, r=compiler-errorsMatthias Krüger-1/+1