summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2023-01-19Use UnordMap instead of FxHashMap in define_id_collections!().Michael Woerister-2/+2
2023-01-18Rollup merge of #107004 - compiler-errors:new-solver-new-candidates-2, r=lcnrMichael Goulet-0/+5
2023-01-18Auto merge of #106503 - cjgillot:remap-nofilter, r=oli-obkbors-26/+1
2023-01-18Auto and alias traitsMichael Goulet-0/+5
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-4/+4
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-4/+4
2023-01-15drive-by: assert when iterating through InstantiatedPredicatesMichael Goulet-0/+2
2023-01-15Make InstantiatedPredicates impl IntoIteratorMichael Goulet-0/+27
2023-01-14fix various subst_identity vs skip_binderKyle Matsuda-2/+4
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-8/+4
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-5/+9
2023-01-12attempt to make a minimal example workDeadbeef-2/+4
2023-01-11Do not filter substs in `remap_generic_params_to_declaration_params`.Camille GILLOT-26/+1
2023-01-09Use newtype for unused generic parametersNilstrieb-1/+1
2022-12-19implement the skeleton of the updated trait solverlcnr-12/+29
2022-12-16Rename ConstS to ConstDataOli Scherer-3/+3
2022-12-15Move `TypeckResults` to seperate moduleNilstrieb-4/+8
2022-12-14Remove many more cases of `mk_substs_trait` that can now use the iterator sch...Oli Scherer-0/+12
2022-12-14Rename to match similar methodsOli Scherer-2/+2
2022-12-13Combine projection and opaque into aliasMichael Goulet-0/+1
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-5/+4
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-1/+1
2022-12-13make Opaque have one field: OpaqueTyMichael Goulet-1/+1
2022-12-13Fast path some binder relationsMichael Goulet-1/+1
2022-12-09Fold `Definitions` into the untracked dataOli Scherer-2/+0
2022-12-09Move the untracked cstore and source_span into a structOli Scherer-4/+2
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