Function enforce_impl_non_lifetime_params_are_constrained 

pub fn enforce_impl_non_lifetime_params_are_constrained<'tcx>(
    tcx: TyCtxt<'tcx>,
    key: LocalDefId,
) -> String