summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/assembly
AgeCommit message (Expand)AuthorLines
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
2024-03-14Rollup merge of #122238 - fee1-dead-contrib:builtin-impl-next-solver-dox, r=lcnrMatthias Krüger-0/+10
2024-03-14move impl documentation to their actual locationsDeadbeef-0/+10
2024-03-11Don't ICE when non-self part of trait goal is constrained in new solverMichael Goulet-1/+3
2024-03-01Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errorsbors-1/+3
2024-02-28Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive`Trevor Gross-1/+3
2024-02-27Add a couple helpers, make return types less confusingMichael Goulet-75/+114
2024-02-27Support `{async closure}: Fn` in new solverMichael Goulet-1/+73
2024-02-26add additional logginglcnr-1/+6
2024-02-22Rollup merge of #120598 - compiler-errors:no-rigid-check, r=lcnrMatthias Krüger-115/+1
2024-02-13Rollup merge of #121047 - compiler-errors:default-impls, r=lcnrMatthias Krüger-0/+14