about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/project.rs
AgeCommit message (Expand)AuthorLines
2024-04-20include ParamEnv in projection cache keyLukas Markeffsky-6/+7
2024-04-19Let inherent associated types constrain opaque types during projectionOli Scherer-1/+1
2024-04-15Remove TypeVariableOriginKindMichael Goulet-2/+2
2024-04-08Don't rely on upvars being assigned just because coroutine-closure kind is as...Michael Goulet-2/+8
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+2
2024-04-06Auto merge of #123471 - compiler-errors:match_projection_projections, r=oli-obkbors-0/+3
2024-04-04Rollup merge of #123464 - fmease:rn-has-proj-to-has-aliases, r=compiler-errorsJacob Pratt-2/+2
2024-04-04Check def id before calling match_projection_projectionsMichael Goulet-0/+3
2024-04-04Rename HAS_PROJECTIONS to HAS_ALIASES etc.León Orell Valerian Liehr-2/+2
2024-04-03Uplift and start using check_args_compatible more liberallyMichael Goulet-2/+1
2024-03-28fix few moreklensy-1/+1
2024-03-19Only split by-ref/by-move futures for async closuresMichael Goulet-6/+6
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