about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2024-02-12Check representation of unnamed fieldsFrank King-5/+3
2024-02-12Lowering field access for anonymous adtsFrank King-2/+2
2024-02-12Lower anonymous structs or unions to HIRFrank King-0/+10
2024-02-10Auto merge of #120712 - compiler-errors:async-closures-harmonize, r=oli-obkbors-38/+139
2024-02-09make it recursiveMichael Goulet-4/+2
2024-02-09For a rigid projection, recursively look at the self type's item boundsMichael Goulet-78/+100
2024-02-08Rollup merge of #120590 - compiler-errors:dead, r=NilstriebMatthias Krüger-3/+2
2024-02-08Prefer AsyncFn* over Fn* for coroutine-closuresMichael Goulet-3/+15
2024-02-08reviews + rebaseBoxy-49/+48
2024-02-08rename `instantiate_binder_with_placeholders`Boxy-9/+9
2024-02-06Coroutine closures implement regular Fn traits, when possibleMichael Goulet-9/+42
2024-02-06Regular closures now built-in impls for AsyncFn*Michael Goulet-29/+85
2024-02-06More comments, final tweaksMichael Goulet-0/+6
2024-02-06Add some testsMichael Goulet-3/+13
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-0/+108
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-6/+21
2024-02-02Remove dead args from functionsMichael Goulet-3/+2
2024-01-22Revert "Auto merge of #118133 - Urgau:stabilize_trait_upcasting, r=WaffleLapkin"Oli Scherer-0/+51
2024-01-15Rollup merge of #119897 - compiler-errors:fulfillment-errors, r=lcnrMatthias Krüger-5/+5
2024-01-12Remove unused ErrorReporting variant from overflow handlingMichael Goulet-5/+3
2024-01-12OutputTypeParameterMismatch -> SignatureMismatchMichael Goulet-5/+5
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-1/+1
2024-01-09Rollup merge of #118649 - compiler-errors:coherence-ambig, r=lcnrMatthias Krüger-12/+8
2024-01-08Make inductive cycles in coherence ambiguous alwaysMichael Goulet-12/+8
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-1/+4
2023-12-28Movability doesn't need to be a query anymoreMichael Goulet-2/+2
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-32/+36
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-3/+3
2023-12-19Remove unnecessary param-env from lexical region resolution and fully structu...Michael Goulet-7/+2
2023-12-18Check FnPtr/FnDef built-in fn traits correctly with effectsMichael Goulet-13/+24
2023-12-16Remove unnecessary constness from ProjectionCandidateMichael Goulet-15/+10
2023-12-15Annotate some bugsMichael Goulet-2/+6
2023-12-08Implement `async gen` blocksMichael Goulet-0/+70
2023-12-08Auto merge of #118689 - compiler-errors:const-drop, r=fee1-deadbors-10/+21
2023-12-07add unused `NormalizesTo` predicatelcnr-1/+4
2023-12-07Fix const drop checkingMichael Goulet-10/+21
2023-12-07Auto merge of #118685 - compiler-errors:stack-dependent, r=lcnrbors-3/+3
2023-12-06EvaluatedToUnknown -> EvaluatedToAmbigStackDependent, EvaluatedToRecur -> Eva...Michael Goulet-3/+3
2023-12-06Yeet PolyGenSigMichael Goulet-15/+12
2023-12-05Add moreMichael Goulet-2/+2
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+2
2023-11-24AmbiguityCause should not eagerly format stringsMichael Goulet-42/+38
2023-11-22Auto merge of #118120 - compiler-errors:closure-kind, r=lcnrbors-26/+6
2023-11-22Stabilize RFC3324 dyn upcasting coercionUrgau-51/+0
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-17/+14
2023-11-21Remove ClosureKind predicate kindMichael Goulet-26/+6
2023-11-17rename bound region instantiationlcnr-3/+4
2023-11-13Rollup merge of #117870 - lcnr:rename-args_ref, r=compiler-errorsMatthias Krüger-1/+1
2023-11-13update type flagslcnr-3/+3
2023-11-13continue renaminglcnr-3/+3