about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/confirmation.rs
AgeCommit message (Expand)AuthorLines
2023-12-18Check FnPtr/FnDef built-in fn traits correctly with effectsMichael Goulet-5/+6
2023-12-16Remove unnecessary constness from ProjectionCandidateMichael Goulet-3/+1
2023-12-15Annotate some bugsMichael Goulet-2/+6
2023-12-08Implement `async gen` blocksMichael Goulet-0/+34
2023-12-07Fix const drop checkingMichael Goulet-7/+9
2023-12-06Yeet PolyGenSigMichael Goulet-15/+12
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-1/+1
2023-11-22Auto merge of #118120 - compiler-errors:closure-kind, r=lcnrbors-11/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-5/+5
2023-11-21Remove ClosureKind predicate kindMichael Goulet-11/+1
2023-11-17rename bound region instantiationlcnr-2/+3
2023-11-13update type flagslcnr-1/+1
2023-11-13continue renaminglcnr-1/+1
2023-11-13rename `ReLateBound` to `ReBound`lcnr-1/+1
2023-10-30Some more coroutine renamingsMichael Goulet-4/+4
2023-10-27Make `gen` blocks implement the `Iterator` traitOli Scherer-0/+35
2023-10-20s/generator/coroutine/Oli Scherer-17/+17
2023-10-20s/Generator/Coroutine/Oli Scherer-5/+5
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-4/+1
2023-09-02Do not require associated types with Self: Sized to uphold bounds when confir...Michael Goulet-3/+3
2023-09-02RPITITs are considered object-safe, they're always on Self:Sized methodsMichael Goulet-0/+3
2023-08-28Better error message for object type with GATMichael Goulet-1/+1
2023-08-14Remove constness from `ImplSource::Param`Deadbeef-4/+3
2023-08-04Auto merge of #114036 - compiler-errors:upcast-to-fewer-assocs, r=lcnrbors-64/+23
2023-08-03Don't be incompleteMichael Goulet-83/+10
2023-08-03Fix upcasting with normalization in old solver, add a testMichael Goulet-2/+12
2023-08-03short-circuit when proj def ids differMichael Goulet-5/+6
2023-08-03Rework upcastingMichael Goulet-59/+80
2023-08-03builtin impl confirmation wuhulcnr-23/+17
2023-08-02Remove constness from `TraitPredicate`Deadbeef-11/+4
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-14/+6
2023-07-25Make everything builtin!Michael Goulet-46/+42
2023-07-25Restore tuple unsizing feature gateMichael Goulet-9/+16
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-120/+119
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-5/+2
2023-07-07Auto merge of #113245 - lukas-code:unsizing-sanity-check, r=the8472bors-6/+1
2023-07-06Separate select calls that don't need a binderMichael Goulet-2/+2
2023-07-06TraitObligation -> PolyTraitObligationMichael Goulet-20/+20
2023-07-06add helper methods for accessing struct tailLukas Markeffsky-6/+1
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-5/+6
2023-07-05Add some extra information to opaque type cycle errorsOli Scherer-4/+4
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-5/+4
2023-07-03Remove chalk from the compilerMichael Goulet-8/+4
2023-06-28Rollup merge of #112867 - compiler-errors:more-impl-source-nits, r=lcnrDylan DPC-13/+7
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-2/+4
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-2/+2
2023-06-20yeet upcast_trait_def_id from ImplSourceObjectDataMichael Goulet-5/+1
2023-06-20yeet ImplSource::TraitAlias tooMichael Goulet-8/+6
2023-06-17Remove even more redundant builtin candidatesMichael Goulet-4/+4
2023-06-17Simplify even more candidatesMichael Goulet-11/+8