Skip to main content

generic_args_match_params

charon_lib::name_matcher

Function generic_args_match_params 

Source 
fn generic_args_match_params(params: &GenericParams, args: &GenericArgs) -> bool