summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2023-01-19Do not filter substs in `remap_generic_params_to_declaration_params`.Camille GILLOT-26/+1
2022-12-07Rollup merge of #105267 - compiler-errors:issue-104613, r=oli-obkMatthias Krüger-4/+0
2022-12-06Rollup merge of #104898 - oli-obk:group_all_the_things, r=wesleywiserMatthias Krüger-107/+20
2022-12-06Rollup merge of #105342 - compiler-errors:note_cause_code-takes-predicate, r=...Matthias Krüger-9/+9
2022-12-06drive-by: Default param for ToPredicateMichael Goulet-9/+9
2022-12-05feed resolver_for_lowering instead of storing it in a fieldOli Scherer-2/+2
2022-12-04drive-by: move field_index to typeck resultsMichael Goulet-4/+0
2022-11-30Remove PredicateS typeOli Scherer-31/+6
2022-11-30Update documentationOli Scherer-4/+4
2022-11-30Remove TySOli Scherer-73/+9
2022-11-30move WithCachedTypeInfo to rustc_type_irOli Scherer-1/+2
2022-11-30s/WithStableHash/WithCachedTypeInfo/Oli Scherer-14/+15
2022-11-30Auto merge of #105070 - matthiaskrgr:rollup-9b25khj, r=matthiaskrgrbors-1/+8
2022-11-29Auto merge of #94487 - oli-obk:stable_hash_ty, r=fee1-deadbors-4/+4
2022-11-29Make inferred_outlives_crate return ClauseSantiago Pastorino-1/+8
2022-11-27Rollup merge of #104976 - WaffleLapkin:move_comments, r=cjgillotMatthias Krüger-2/+3
2022-11-27Auto merge of #104048 - cjgillot:split-lifetime, r=compiler-errorsbors-1/+3
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-2/+3
2022-11-26Rollup merge of #104909 - compiler-errors:normalize_opaque_types-is-misleadin...Guillaume Gomez-1/+1
2022-11-25Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwUbors-1/+1
2022-11-25Rename normalize_opaque_types to reveal_opaque_types_in_boundsMichael Goulet-1/+1
2022-11-25Cache Predicates' hash within themselvesOli Scherer-4/+4
2022-11-25Add empty ConstKind::Abstractkadmin-1/+1
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-31/+42
2022-11-25get rid of to_poly_trait_predicateOli Scherer-0/+19
2022-11-24Use kw::Empty for elided lifetimes in path.Camille GILLOT-1/+1
2022-11-24Record in HIR whether lifetime elision was succesful.Camille GILLOT-0/+2
2022-11-24move things from rustc_target::abi to rustc_abihkalbasi-72/+75
2022-11-24move some layout logic to rustc_target::abi::layouthkalbasi-146/+62
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-0/+8
2022-11-22Auto merge of #103578 - petrochenkov:nofict, r=nagisabors-40/+19
2022-11-21Add a helper for replacing the self type in trait refsOli Scherer-0/+4
2022-11-21Unreserve braced enum variants in value namespaceVadim Petrochenkov-40/+19
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+8
2022-11-21Auto merge of #104673 - matthiaskrgr:rollup-85f65ov, r=matthiaskrgrbors-3/+4
2022-11-21Rollup merge of #104595 - compiler-errors:poly-existential-predicate, r=lcnrMatthias Krüger-3/+4
2022-11-21Auto merge of #103491 - cjgillot:self-rpit, r=oli-obkbors-54/+9
2022-11-19drive-by: PolyExistentialPredicateMichael Goulet-3/+4
2022-11-18Make "long type" printing type awareEsteban Küber-1/+1
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-2/+2
2022-11-16Generalize the `ToPredicate` traitOli Scherer-8/+8
2022-11-14Give precendence to regions from member constaints when inferring concrete ty...Camille GILLOT-6/+5
2022-11-12Explain redundant mapping.Camille GILLOT-0/+4
2022-11-12Use variances for defining use diag.Camille GILLOT-53/+5
2022-11-12Inherit generics for impl-trait.Camille GILLOT-2/+2
2022-11-10More nitsMichael Goulet-0/+4
2022-11-08selection failure: recompute applicable implslcnr-4/+4
2022-11-04Rollup merge of #103915 - chenyukang:yukang/fix-103874, r=lcnrMatthias Krüger-1/+1
2022-11-02deprecate DelaySpanBugEmitted and use ErrorGuaranteed directlyyukang-1/+1
2022-10-29Auto merge of #102233 - petrochenkov:effvis, r=jackh726bors-2/+2