about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2023-08-15nitsMichael Goulet-3/+3
2023-08-15Implement lint against coinductive impl overlapMichael Goulet-3/+33
2023-08-14Remove constness from `ImplSource::Param`Deadbeef-4/+3
2023-08-13Auto merge of #114457 - lcnr:trait_ref_is_knowable-normalize, r=compiler-errorsbors-1/+1
2023-08-12normalize in `trait_ref_is_knowable` in new solverlcnr-1/+1
2023-08-11remove builtin impl for float and int inferlcnr-5/+2
2023-08-10Comment nitsMichael Goulet-1/+1
2023-08-04Auto merge of #114036 - compiler-errors:upcast-to-fewer-assocs, r=lcnrbors-73/+141
2023-08-03Don't be incompleteMichael Goulet-92/+128
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-23/+10
2023-08-02Rollup merge of #114079 - compiler-errors:closure-upvars, r=oli-obkNilstrieb-2/+3
2023-08-01Use upvar_tys in more places, make it a listMichael Goulet-2/+3
2023-08-01Convert adt_sized_constraint to early-binder, use listMichael Goulet-1/+1
2023-07-30inline format!() args up to and including rustc_codegen_llvmMatthias Krüger-8/+6
2023-07-28Auto merge of #113312 - Ddystopia:auto-trait-fun, r=lcnrbors-14/+77
2023-07-28Auto merge of #114134 - fee1-dead-contrib:rm-constness-from-param-env, r=oli-obkbors-67/+16
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-67/+16
2023-07-26Don't treat negative trait predicates as always knowableMichael Goulet-1/+1
2023-07-25Make everything builtin!Michael Goulet-46/+42
2023-07-25Restore tuple unsizing feature gateMichael Goulet-9/+16
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-14/+3
2023-07-21Track ABI info. in `NaiveLayout`, and use it for `PointerLike` checksMoulins-3/+14
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-180/+177
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-7/+3
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-11/+24
2023-07-06TraitObligation -> PolyTraitObligationMichael Goulet-60/+60
2023-07-06add helper methods for accessing struct tailLukas Markeffsky-6/+1
2023-07-06always emit consider `AutoImplCandidates` for them if they don't also have a ...Oleksandr Babak-1/+1
2023-07-06deal with opaque types without cyclinglcnr-10/+24
2023-07-06update auto trait handlinglcnr-14/+63
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-7/+8
2023-07-05Rollup merge of #113321 - BoxyUwU:move_constkind_to_typeir, r=oli-obkMichael Goulet-1/+1
2023-07-05Rollup merge of #113320 - oli-obk:eval_obligation_query, r=petrochenkov,BoxyUwUMichael Goulet-8/+12
2023-07-05Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obkMichael Goulet-46/+23
2023-07-05Deal with falloutBoxy-1/+1
2023-07-05Add some extra information to opaque type cycle errorsOli Scherer-8/+12
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-5/+4
2023-07-04 -Ztrait-solver=next: stop depending on old solverlcnr-46/+23
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-3/+0
2023-07-03Remove chalk from the compilerMichael Goulet-8/+4
2023-07-03Implement selection in new trait solverMichael Goulet-1/+6
2023-07-01Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errorsbors-1/+1
2023-06-29change snapshot tracking in fulfillment contextslcnr-1/+1
2023-06-28Rollup merge of #112867 - compiler-errors:more-impl-source-nits, r=lcnrDylan DPC-13/+7