summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve
AgeCommit message (Expand)AuthorLines
2024-10-11remove outdated FIXMEslcnr-0/+2
2024-10-10impossible obligations check fast pathlcnr-7/+8
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-30/+29
2024-09-12more eagerly discard constraints on overflowlcnr-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+4
2024-08-14Rollup merge of #128828 - lcnr:search-graph-11, r=compiler-errors许杰友 Jieyou Xu (Joe)-7/+3
2024-08-12Rollup merge of #128912 - compiler-errors:do-not-recommend-impl, r=lcnrMatthias Krüger-5/+1
2024-08-12do not use the global solver cache for proof treeslcnr-7/+3
2024-08-11Use assert_matches around the compilerMichael Goulet-3/+6
2024-08-09Store do_not_recommend-ness in impl headerMichael Goulet-5/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-9/+9
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+2
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-2/+2
2024-07-09Split out overflow handling into its own moduleMichael Goulet-1/+1
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-1/+1
2024-07-08Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr许杰友 Jieyou Xu (Joe)-8/+0
2024-07-07Finish uplifting supertraitsMichael Goulet-8/+0
2024-07-07Get rid of trait_ref_is_knowable from delegateMichael Goulet-10/+0
2024-07-05Split SolverDelegate back out from InferCtxtLikeMichael Goulet-169/+2
2024-06-21Rename a bunch of thingsMichael Goulet-6/+6
2024-06-18Fix transmute goalMichael Goulet-1/+27
2024-06-18Fix impl for SolverDelegateMichael Goulet-76/+297
2024-06-18Uplift the new trait solverMichael Goulet-7260/+0
2024-06-18SolverDelegateMichael Goulet-148/+339
2024-06-18Make SearchGraph fully genericMichael Goulet-73/+49
2024-06-16Uplift OpaqueTypeKey too, use it in responseMichael Goulet-9/+3
2024-06-16Uplift ExternalConstraintDataMichael Goulet-15/+27
2024-06-16Make ExternalConstraints just carry outlivesMichael Goulet-18/+22
2024-06-16Stop using AssocKind in new solverMichael Goulet-13/+11
2024-06-16Move InferCtxtSelectExt out of eval_ctxt moduleMichael Goulet-3/+3
2024-06-16Auto merge of #126505 - compiler-errors:no-vtable, r=lcnrbors-60/+21
2024-06-15Rollup merge of #126496 - compiler-errors:more-generics, r=lcnrGuillaume Gomez-143/+151
2024-06-15Rollup merge of #126404 - compiler-errors:alias-relate-terms, r=lcnrGuillaume Gomez-1/+40
2024-06-15Rollup merge of #126354 - compiler-errors:variance, r=lcnrMatthias Krüger-4/+4
2024-06-14Only compute vtable information during codegenMichael Goulet-60/+21
2024-06-14Correctly consider depth when visiting WF goalsMichael Goulet-3/+18
2024-06-14Add TyCtxt::is_lang_itemMichael Goulet-38/+36
2024-06-14Make proof tree probing genericMichael Goulet-38/+45
2024-06-14Make Candidate generic over internerMichael Goulet-106/+107
2024-06-13Address nitsMichael Goulet-23/+30
2024-06-13Fix some TODOsMichael Goulet-5/+4
2024-06-13Finish uplifting all of structural_traitsMichael Goulet-187/+156
2024-06-13Rework most of structural_traits to be Interner-agnosticMichael Goulet-103/+114
2024-06-13LangItem-ify Coroutine trait in solversMichael Goulet-5/+8
2024-06-13Check that alias-relate terms are WF if reporting an error in alias-relateMichael Goulet-0/+24
2024-06-12Also passthrough for projection clausesMichael Goulet-1/+3
2024-06-12Walk into alias-eq nested goals even if normalization failsMichael Goulet-7/+15
2024-06-12Use Variance glob import everywhereMichael Goulet-4/+4
2024-06-11Try not to make obligations in handle_opaque_typeMichael Goulet-8/+7
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 13:32:51 +0000