Skip to main content

compare_generic_param_kinds

Function compare_generic_param_kinds 

Source
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.