summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src
AgeCommit message (Expand)AuthorLines
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-3/+37
2024-12-18update new solver candidate assemblylcnr-89/+180
2024-12-18canonicalizer: keep 'static in the param_envlcnr-40/+102
2024-12-11Rename projection_def_id to item_def_idMichael Goulet-1/+1
2024-12-05do not implement unsafe auto traits for types with unsafe fieldsJack Wrenn-0/+8
2024-11-28support revealing defined opaque post borrowcklcnr-33/+53
2024-11-23remove remaining references to `Reveal`lcnr-2/+1
2024-11-23no more Reveal :(lcnr-13/+9
2024-11-22Implement ~const Destruct in new solverMichael Goulet-4/+97
2024-11-21Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-deadMatthias Krüger-5/+2
2024-11-20Rip out built-in PointerLike implMichael Goulet-50/+0
2024-11-19Implement ~const Fn trait goals in the new solverMichael Goulet-17/+128
2024-11-19Rename implied_const_bounds to explicit_implied_const_boundsMichael Goulet-5/+2
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-1/+5
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-8/+8
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-3/+1
2024-10-30Merge HostPolarity and BoundConstnessMichael Goulet-4/+7
2024-10-29remove outdated debug_assertionlcnr-3/+0
2024-10-29TypingMode :thinking:lcnr-87/+73
2024-10-24Add support for ~const item boundsMichael Goulet-1/+77
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+300
2024-10-24Remove associated type based effects logicMichael Goulet-121/+0
2024-10-22remove unused fieldlcnr-11/+7
2024-10-22fix typolcnr-1/+1
2024-10-21don't bail when encountering many placeholderslcnr-1/+2
2024-10-21normalizes-to disable infer var checklcnr-7/+16
2024-10-19Fix transmute goalMichael Goulet-1/+37
2024-10-18Rollup merge of #131857 - WaffleLapkin:dyn-drop-principal-3, r=compiler-errorsMatthias Krüger-1/+2
2024-10-17Rollup merge of #131825 - lcnr:probe-no-more-leak-2, r=compiler-errorsMatthias Krüger-3/+2
2024-10-17Allow dropping dyn principalMichael Goulet-1/+2
2024-10-17SolverDelegate add assoc type for Infcxlcnr-3/+2
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-11/+18
2024-10-16Auto merge of #131792 - matthiaskrgr:rollup-480nwg4, r=matthiaskrgrbors-6/+79
2024-10-15update bootstrap configsJosh Stone-1/+1
2024-10-15Register a dummy candidate for failed structural normalization during candiat...Michael Goulet-0/+20
2024-10-15Be better at reporting alias errorsMichael Goulet-9/+13
2024-10-15Make sure the alias is actually rigidMichael Goulet-2/+51
2024-10-12Shallowly match opaque key in storageMichael Goulet-43/+42
2024-10-11remove outdated FIXMEslcnr-15/+4
2024-10-10Auto merge of #131263 - compiler-errors:solver-relating, r=lcnrbors-51/+3
2024-10-10impossible obligations check fast pathlcnr-21/+62
2024-10-10Use SolverRelating in favor of TypeRelating in the old solver where possibleMichael Goulet-1/+1
2024-10-10Use SolverRelating in new solverMichael Goulet-0/+2
2024-10-10Uplift super_combineMichael Goulet-50/+0
2024-10-02Auto merge of #130821 - lcnr:nalgebra-hang-2, r=compiler-errorsbors-124/+190
2024-10-02reviewlcnr-12/+17
2024-10-01add caches to multiple type folderslcnr-15/+47
2024-09-30canonicalizer: rm region uniquification, add cachinglcnr-109/+138
2024-09-28Rollup merge of #130866 - compiler-errors:dyn-instantiate-binder, r=lcnrMatthias Krüger-27/+38
2024-09-27Instantiate binders when checking supertrait upcastingMichael Goulet-27/+38
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 09:22:41 +0000