Replace more mentions of associated_const_equality
This commit is contained in:
parent
092e522fa8
commit
b144a11d2c
5 changed files with 4 additions and 6 deletions
|
|
@ -2394,7 +2394,7 @@ impl FnSig {
|
|||
/// * the `G<Ty> = Ty` in `Trait<G<Ty> = Ty>`
|
||||
/// * the `A: Bound` in `Trait<A: Bound>`
|
||||
/// * the `RetTy` in `Trait(ArgTy, ArgTy) -> RetTy`
|
||||
/// * the `C = { Ct }` in `Trait<C = { Ct }>` (feature `associated_const_equality`)
|
||||
/// * the `C = { Ct }` in `Trait<C = { Ct }>` (feature `min_generic_const_args`)
|
||||
/// * the `f(..): Bound` in `Trait<f(..): Bound>` (feature `return_type_notation`)
|
||||
#[derive(Clone, Encodable, Decodable, Debug, Walkable)]
|
||||
pub struct AssocItemConstraint {
|
||||
|
|
|
|||
|
|
@ -3298,7 +3298,7 @@ pub enum ImplItemKind<'hir> {
|
|||
/// * the `G<Ty> = Ty` in `Trait<G<Ty> = Ty>`
|
||||
/// * the `A: Bound` in `Trait<A: Bound>`
|
||||
/// * the `RetTy` in `Trait(ArgTy, ArgTy) -> RetTy`
|
||||
/// * the `C = { Ct }` in `Trait<C = { Ct }>` (feature `associated_const_equality`)
|
||||
/// * the `C = { Ct }` in `Trait<C = { Ct }>` (feature `min_generic_const_args`)
|
||||
/// * the `f(..): Bound` in `Trait<f(..): Bound>` (feature `return_type_notation`)
|
||||
#[derive(Debug, Clone, Copy, HashStable_Generic)]
|
||||
pub struct AssocItemConstraint<'hir> {
|
||||
|
|
|
|||
|
|
@ -575,8 +575,7 @@ impl<'tcx> dyn HirTyLowerer<'tcx> + '_ {
|
|||
// FIXME: point at the type params that don't have appropriate lifetimes:
|
||||
// struct S1<F: for<'a> Fn(&i32, &i32) -> &'a i32>(F);
|
||||
// ---- ---- ^^^^^^^
|
||||
// NOTE(associated_const_equality): This error should be impossible to trigger
|
||||
// with associated const equality constraints.
|
||||
// NOTE(mgca): This error should be impossible to trigger with assoc const bindings.
|
||||
self.validate_late_bound_regions(
|
||||
late_bound_in_projection_ty,
|
||||
late_bound_in_term,
|
||||
|
|
|
|||
|
|
@ -503,8 +503,7 @@ impl<'tcx> dyn HirTyLowerer<'tcx> + '_ {
|
|||
// FIXME: point at the type params that don't have appropriate lifetimes:
|
||||
// struct S1<F: for<'a> Fn(&i32, &i32) -> &'a i32>(F);
|
||||
// ---- ---- ^^^^^^^
|
||||
// NOTE(associated_const_equality): This error should be impossible to trigger
|
||||
// with associated const equality constraints.
|
||||
// NOTE(mgca): This error should be impossible to trigger with assoc const bindings.
|
||||
self.validate_late_bound_regions(
|
||||
late_bound_in_projection_term,
|
||||
late_bound_in_term,
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue