pub fn no_var_fn_met( self_t: Type, non_default_params: Vec<ParamTy>, default_params: Vec<ParamTy>, return_t: Type, ) -> Type