fn compare_generic_param_kinds<'tcx>(
tcx: TyCtxt<'tcx>,
impl_item: AssocItem,
trait_item: AssocItem,
delay: bool,
) -> Result<(), ErrorGuaranteed>Expand description
Checks that corresponding generic parameters in a trait item and its impl are both type parameters or both const parameters.