replace `GenericArg` with `Term` where applicable r? types
compiler/
NonGenericOpaqueTypeParam::ty
arg