summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2024-04-11Check def id before calling match_projection_projectionsMichael Goulet-0/+3
2024-03-12Fix discriminant_kind copy paste from the pointee trait caseDaria Sukhonina-2/+3
2024-02-23compiler: clippy::complexity fixesMatthias Krüger-5/+2
2024-02-21Convert `bug`s back to `delayed_bug`s.Nicholas Nethercote-4/+3
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-3/+2
2024-02-19split `project` into multiple fileslcnr-756/+9
2024-02-19never normalize without eager inference replacementlcnr-79/+9
2024-02-16Move trait into attr so it's greppableMichael Goulet-2/+2
2024-02-16Use extension trait deriveMichael Goulet-21/+12
2024-02-12Dejargnonize substShoyu Vanilla-3/+3
2024-02-10Auto merge of #120712 - compiler-errors:async-closures-harmonize, r=oli-obkbors-108/+219
2024-02-10Rollup merge of #120584 - compiler-errors:u, r=lcnrMatthias Krüger-23/+36
2024-02-09Rollup merge of #120354 - lukas-code:metadata-normalize, r=lcnrMatthias Krüger-13/+25
2024-02-09make it recursiveMichael Goulet-5/+3
2024-02-09For a rigid projection, recursively look at the self type's item boundsMichael Goulet-23/+38
2024-02-08rename `instantiate_binder_with_placeholders`Boxy-2/+1
2024-02-06Coroutine closures implement regular Fn traits, when possibleMichael Goulet-4/+70
2024-02-06Regular closures now built-in impls for AsyncFn*Michael Goulet-75/+146
2024-02-06add fixmeLukas Markeffsky-3/+4
2024-02-06Flatten confirmation logicMichael Goulet-82/+56
2024-02-06More comments, final tweaksMichael Goulet-0/+3
2024-02-06Bless tests, add commentsMichael Goulet-5/+9
2024-02-06Construct body for by-move coroutine closure outputMichael Goulet-0/+2
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-1/+181
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+2
2024-02-05old solver: improve normalization of `Pointee::Metadata`Lukas Markeffsky-13/+24
2024-01-10Define hidden types in confirmationOli Scherer-1/+1
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-5/+4
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-3/+3
2023-12-18Check FnPtr/FnDef built-in fn traits correctly with effectsMichael Goulet-7/+32
2023-12-15Annotate some bugsMichael Goulet-17/+23
2023-12-14update use of feature flagslcnr-1/+1
2023-12-08Implement `async gen` blocksMichael Goulet-3/+63
2023-12-06Yeet PolyGenSigMichael Goulet-40/+37
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+2
2023-11-25Get rid of infer vars in inherent assoc types selection by using probeSantiago Pastorino-1/+12
2023-11-24Make PlaceholderReplacer shallow_resolver when folding const and ty and recur...Santiago Pastorino-4/+18
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-5/+5
2023-11-13continue renaminglcnr-2/+2
2023-11-13rename `ReLateBound` to `ReBound`lcnr-5/+5
2023-11-04No lifetime on PlaceholderConstMichael Goulet-5/+5
2023-10-30Some more coroutine renamingsMichael Goulet-15/+15
2023-10-27Make `gen` blocks implement the `Iterator` traitOli Scherer-1/+47
2023-10-23Make ICE a bit more informativeOli Scherer-3/+12
2023-10-20s/generator/coroutine/Oli Scherer-6/+6
2023-10-20s/Generator/Coroutine/Oli Scherer-7/+7
2023-10-18AliasTy::new instead of tcx methodlcnr-4/+4
2023-10-17Fix a performance regression in obligation deduplication.Nicholas Nethercote-4/+4
2023-09-29a small wf and clause cleanuplcnr-1/+1
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-2/+0