about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src/ty.rs
AgeCommit message (Expand)AuthorLines
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-2/+2
2023-03-22Do not feed param_env for RPITITs impl sideSantiago Pastorino-1/+3
2023-03-21Use local key in providersMichael Goulet-8/+6
2023-03-20Walk un-shifted nested `impl Trait` in trait when setting up default trait me...Michael Goulet-16/+26
2023-03-16Don't install default opaque projection predicates in RPITIT associated type'...Michael Goulet-7/+15
2023-03-16Install projection from RPITIT to default trait method opaque correctlyMichael Goulet-3/+14
2023-03-15ImplTraitPlaceholder -> is_impl_trait_in_traitSantiago Pastorino-1/+3
2023-03-15Rename impl_trait_in_trait_parent to impl_trait_in_trait_parent_fnSantiago Pastorino-1/+1
2023-03-14Encode opt_rpitit_info for associated typesMichael Goulet-6/+3
2023-03-12Auto merge of #108700 - spastorino:new-rpitit-impl-side-2, r=compiler-errorsbors-2/+11
2023-03-06Implement param_env for RPITITs assoc typeSantiago Pastorino-2/+11
2023-02-28Shift vars for default RPITIT methods correctlyMichael Goulet-1/+24
2023-02-24Rename many interner functions.Nicholas Nethercote-8/+5
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-4/+2
2023-02-18Assume we can normalize trait default method RPITITs in param-env insteadMichael Goulet-2/+59
2023-02-17Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwUbors-4/+4
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-7/+9
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-7/+5
2023-02-16make issue33140_self_ty return Option<EarlyBinder<Ty>>Kyle Matsuda-3/+5
2023-01-30nitsMichael Goulet-4/+0
2023-01-28Make unsizing_params_for_adt into a queryMichael Goulet-0/+52
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-1/+7
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-1/+1
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-1/+1
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-9/+2
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-2/+2
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-3/+4
2023-01-04Rollup merge of #106403 - compiler-errors:rename-hir-methods, r=cjgillotMichael Goulet-1/+1
2023-01-04Split `-Zchalk` flag into `-Ztrait-solver=(stock|chalk|next)` flagMichael Goulet-1/+2
2023-01-04rename get_parent_node to parent_idMichael Goulet-1/+1
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-4/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-1/+1
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-1/+1
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-1/+1
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-6/+3
2022-11-21Auto merge of #103491 - cjgillot:self-rpit, r=oli-obkbors-5/+0
2022-11-20Factor out conservative_is_privately_uninhabitedCameron Steffen-57/+0
2022-11-13Create bidirectional bounds between original and duplicated parameters.Camille GILLOT-5/+0
2022-11-02Properly render asyncness for traits without default bodyMichael Goulet-1/+1
2022-10-20Note discrepancies in constness calculationMichael Goulet-0/+5
2022-10-20Revert "Unify tcx.constness and param env constness checks"Michael Goulet-1/+68
2022-10-12Rollup merge of #102830 - compiler-errors:constness-parity, r=fee1-deadDylan DPC-68/+1
2022-10-12Unify tcx.constness and param env constness checksMichael Goulet-68/+1
2022-10-10Check representability in adt_sized_constraintCameron Steffen-4/+8
2022-10-09ImplItemKind::TyAlias => ImplItemKind::TypeMichael Goulet-1/+1
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+0
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-1/+1
2022-09-01tracing::instrument cleanupOli Scherer-2/+0
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 12:01:05 +0000