about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/assembly
AgeCommit message (Expand)AuthorLines
2024-06-18Uplift the new trait solverMichael Goulet-1609/+0
2024-06-18SolverDelegateMichael Goulet-36/+37
2024-06-16Auto merge of #126505 - compiler-errors:no-vtable, r=lcnrbors-4/+5
2024-06-15Rollup merge of #126496 - compiler-errors:more-generics, r=lcnrGuillaume Gomez-49/+50
2024-06-14Only compute vtable information during codegenMichael Goulet-4/+5
2024-06-14Add TyCtxt::is_lang_itemMichael Goulet-19/+19
2024-06-14Make Candidate generic over internerMichael Goulet-49/+50
2024-06-13Address nitsMichael Goulet-20/+26
2024-06-13Finish uplifting all of structural_traitsMichael Goulet-18/+19
2024-06-13Rework most of structural_traits to be Interner-agnosticMichael Goulet-103/+114
2024-06-04Rollup merge of #125750 - compiler-errors:expect, r=lcnr许杰友 Jieyou Xu (Joe)-1/+1
2024-06-03Align Term methods with GenericArg methodsMichael Goulet-1/+1
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-1/+1
2024-06-01Uplift TypeRelation and RelateMichael Goulet-4/+4
2024-05-29Add lang item for AsyncFnKindHelper::UpvarsMichael Goulet-8/+1
2024-05-29Add lang item for Future::OutputMichael Goulet-12/+2
2024-05-28EvalCtxt::tcx() -> EvalCtxt::interner()Michael Goulet-24/+26
2024-05-22Rollup merge of #125259 - compiler-errors:fn-mut-as-a-treat, r=oli-obkLeón Orell Valerian Liehr-8/+5
2024-05-19Make EvalCtxt generic over internerMichael Goulet-35/+38
2024-05-18Uplift inspect into rustc_type_irMichael Goulet-4/+4
2024-05-18Uplift GenericArgKind, CanonicalVarValues, QueryInputMichael Goulet-3/+2
2024-05-18An async closure may implement FnMut/Fn if it has no self-borrowsMichael Goulet-8/+5
2024-05-16Uplift Goal to rustc_type_irMichael Goulet-2/+3
2024-05-16Make impls UpcastFrom, implement Upcast for UpcastFromMichael Goulet-1/+1
2024-05-16Rename ToPredicate for UpcastMichael Goulet-9/+7
2024-05-13Use a proper probe for shadowing implMichael Goulet-11/+8
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-2/+6
2024-05-13split out AliasTy -> AliasTermMichael Goulet-2/+6
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+2
2024-05-12structurally important functions to `debug`lcnr-5/+5
2024-05-12solve: replace all `debug` with `trace`lcnr-15/+15
2024-05-02Record more kinds of things as impl where boundsMichael Goulet-8/+7
2024-05-02shallow resolve in orphan checklcnr-8/+4
2024-04-30Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-deadMatthias Krüger-0/+1
2024-04-29Actually use probes when needed and stop relying on existing outer probesMichael Goulet-92/+74
2024-04-29Make names more accurateMichael Goulet-7/+11
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+1
2024-04-25hir typeck: look into nested goalslcnr-11/+15
2024-04-16Add simple async drop glue generationzetanumbers-0/+7
2024-04-08Don't rely on upvars being assigned just because coroutine-closure kind is as...Michael Goulet-2/+6
2024-04-08Actually create ranged int types in the type system.Oli Scherer-1/+13
2024-04-05do not ICE in forced ambiguity if we get an errorlcnr-3/+10
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-6/+6
2024-03-22Rollup merge of #122829 - ShoyuVanilla:gen-block-impl-fused-iter, r=compiler-...Matthias Krüger-0/+9
2024-03-22Implement `FusedIterator` for `gen` blockShoyu Vanilla-0/+9
2024-03-19Do binder folding eagerly in bound_coroutine_hidden_typesMichael Goulet-30/+5
2024-03-19Don't ICE when encountering bound regions in generator interior typeMichael Goulet-1/+0
2024-03-18address nitsLukas Markeffsky-4/+5
2024-03-14remove unnecessary sized checksLukas Markeffsky-3/+4
2024-03-14clean up ADT sized constraint computationLukas Markeffsky-2/+12