about summary refs log tree commit diff
path: root/compiler/rustc_traits
AgeCommit message (Expand)AuthorLines
2023-02-06remove unused importsklensy-1/+0
2023-01-30Track bound types like bound regionsMichael Goulet-24/+24
2023-01-29Auto merge of #106253 - nbdd0121:upcast, r=compiler-errorsbors-1/+1
2023-01-28Auto merge of #107303 - compiler-errors:intern-canonical-var-values, r=lcnrbors-10/+8
2023-01-28Rename `is_object_safe` to `check_is_object_safe` to hint side effectsGary Guo-1/+1
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-1/+3
2023-01-27Separate trait selection from ambiguity reporting.Camille GILLOT-1/+1
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-1/+1
2023-01-26Intern CanonicalVarValuesMichael Goulet-10/+8
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-7/+5
2023-01-19even more unify Projection/Opaque in outlives codeAli MJ Al-Nasrawy-4/+2
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2023-01-17Rollup merge of #106829 - compiler-errors:more-alias-combine, r=spastorinoMatthias Krüger-3/+2
2023-01-15Remove bound_{explicit,}_item_boundsMichael Goulet-8/+7
2023-01-15Make InstantiatedPredicates impl IntoIteratorMichael Goulet-4/+1
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-4/+3
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-1/+2
2023-01-13Unify Opaque/Projection handling in region outlives codeMichael Goulet-3/+2
2023-01-10Rollup merge of #106204 - compiler-errors:no-take-opaques-in-compare, r=oli-obkYuki Okushi-1/+1
2023-01-09Assert defining anchor is set in take_opaque_typesMichael Goulet-1/+1
2023-01-07make ascribe_user_type a TypeOpAli MJ Al-Nasrawy-11/+42
2023-01-07don't normalize in astconvAli MJ Al-Nasrawy-0/+1
2023-01-05Fix `uninlined_format_args` for some compiler cratesnils-3/+3
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-2/+2
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-14/+14
2022-12-13Remove chalk lowering for AliasTyMichael Goulet-11/+10
2022-12-13Combine identical alias armsMichael Goulet-2/+2
2022-12-13Combine projection and opaque into aliasMichael Goulet-24/+31
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-8/+8
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-5/+5
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-9/+13
2022-12-08Move some suggestions from error_reporting to error_reporting::suggestMichael Goulet-1/+1
2022-12-08Move codegen_select_candidate to a rustc_traitsMichael Goulet-0/+90
2022-11-28Make ObligationCtxt::normalize take cause by borrowMichael Goulet-3/+3
2022-11-28partially_normalize_... -> At::normalizeMichael Goulet-3/+3
2022-11-28Rename At::normalize to At::query_normalizeMichael Goulet-3/+3
2022-11-26Rollup merge of #104906 - spastorino:remove-ascribeusertypecx, r=compiler-errorsMatthias Krüger-107/+50
2022-11-25Define all clauses as dummy_with_span as the usages are all equivalentSantiago Pastorino-7/+5
2022-11-25Remove AscribeUserTypeCxSantiago Pastorino-107/+52
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-49/+63
2022-11-24Auto merge of #103693 - HKalbasi:master, r=oli-obkbors-15/+16
2022-11-24move some layout logic to rustc_target::abi::layouthkalbasi-15/+16
2022-11-24Avoid `GenFuture` shim when compiling async constructsArpad Borsos-1/+5
2022-11-23Pass ObligationCtxt from enter_canonical_trait_query and use ObligationCtxt APISantiago Pastorino-16/+13
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-0/+6
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-1/+1
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+6
2022-11-21Rollup merge of #104595 - compiler-errors:poly-existential-predicate, r=lcnrMatthias Krüger-1/+1
2022-11-20Auto merge of #104522 - RalfJung:try_normalize_after_erasing_regions, r=oli-obkbors-1/+3