[expr.prim.req.nested] Reframe in terms of local parameters.