fn compare_generic_param_kinds<'tcx>(
    tcx: TyCtxt<'tcx>,
    impl_item: AssocItem,
    trait_item: AssocItem,
    delay: bool
) -> Result<(), ErrorGuaranteed>
Expand description

Checks that all parameters in the generics of a given assoc item in a trait impl have the same kind as the respective generic parameter in the trait def.

For example all 4 errors in the following code are emitted here:

trait Foo {
    fn foo<const N: u8>();
    type Bar<const N: u8>;
    fn baz<const N: u32>();
    type Blah<T>;
}

impl Foo for () {
    fn foo<const N: u64>() {}
    //~^ error
    type Bar<const N: u64> = ();
    //~^ error
    fn baz<T>() {}
    //~^ error
    type Blah<const N: i64> = u32;
    //~^ error
}

This function does not handle lifetime parameters