about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2023-05-27Add warn-by-default lint for local binding shadowing exported glob re-export ...许杰友 Jieyou Xu (Joe)-0/+2
2023-05-22Structurally normalize in the new solverMichael Goulet-0/+2
2023-05-19Auto merge of #110100 - compiler-errors:no-infer-pred-must-hold, r=jackh726bors-20/+21
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-2/+3
2023-05-12do not allow inference in `pred_known_to_hold_modulo_regions`Michael Goulet-20/+21
2023-05-09Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errorsDylan DPC-1/+3
2023-05-08Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet-1/+2
2023-05-07Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillotbors-1/+1
2023-05-05Report nicer lifetime errors for specializationMatthew Jasper-1/+3
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-1/+2
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-1/+1
2023-05-03Rename things to reflect that they're not item specificMichael Goulet-1/+1
2023-04-27rename `needs_subst` to `has_param`Boxy-1/+1
2023-04-26Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle-1/+1
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-1/+1
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-16Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.Nicholas Nethercote-1/+1
2023-04-06Get rid of elaborate_trait_ref{s} tooMichael Goulet-1/+1
2023-04-06Make elaborator genericMichael Goulet-5/+2
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-4/+2
2023-03-22Rollup merge of #109447 - lcnr:coherence, r=compiler-errorsMatthias Krüger-1/+1
2023-03-21new solver cleanup + coherencelcnr-1/+1
2023-03-21remove some trait solver helperslcnr-59/+13
2023-03-09Remove body_def_id from InheritedMichael Goulet-1/+1
2023-03-08Rollup merge of #108754 - compiler-errors:retry, r=oli-obkMatthias Krüger-3/+5
2023-03-04Retry pred_known_to_hold_modulo_regions with fulfillment if ambiguousMichael Goulet-3/+5
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+1
2023-02-24Rename many interner functions.Nicholas Nethercote-5/+4
2023-02-22Remove type-traversal trait aliasesAlan Egerton-4/+4
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-6/+4
2023-02-15Auto merge of #107940 - BoxyUwU:const_ty_assertion_use_semantic_equality, r=c...bors-0/+1
2023-02-13Make visiting traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-02-12rename query and use `NoSolution`Boxy-1/+1
2023-02-11make `relate`'s const ty assertion use semantic equalityBoxy-0/+1
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-6/+3
2023-01-22Store relationships on InherentSantiago Pastorino-1/+0
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-3/+3
2023-01-15Make InstantiatedPredicates impl IntoIteratorMichael Goulet-8/+6
2023-01-15Rollup merge of #106863 - anden3:compiler-double-spaces, r=NilstriebMatthias Krüger-1/+1
2023-01-14Removed various double spaces in compiler source comments.André Vennberg-1/+1
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-1/+1
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-2/+4
2023-01-10Rollup merge of #106204 - compiler-errors:no-take-opaques-in-compare, r=oli-obkYuki Okushi-3/+0
2023-01-09Assert defining anchor is set in take_opaque_typesMichael Goulet-3/+0
2023-01-03Simplify some canonical type alias namesMichael Goulet-1/+1
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-4/+1
2022-12-14Remove many more cases of `mk_substs_trait` that can now use the iterator sch...Oli Scherer-7/+2
2022-12-08Move codegen_select_candidate to a rustc_traitsMichael Goulet-2/+0
2022-12-08Move vtable methods into its own moduleMichael Goulet-363/+4