fn compare_number_of_generics<'tcx>(
tcx: TyCtxt<'tcx>,
impl_: AssocItem,
trait_: AssocItem,
delay: bool
) -> Result<(), ErrorGuaranteed>
Expand description
Checks that the number of generics on a given assoc item in a trait impl is the same as the number of generics on the respective assoc item in the trait definition.
For example this code emits the errors in the following code:
ⓘ
trait Trait {
fn foo();
type Assoc<T>;
}
impl Trait for () {
fn foo<T>() {}
//~^ error
type Assoc = u32;
//~^ error
}
Notably this does not error on foo<T>
implemented as foo<const N: u8>
or
foo<const N: u8>
implemented as foo<const N: u32>
. This is handled in
compare_generic_param_kinds
. This function also does not handle lifetime parameters