Ensures: Res = nonshared(T, T')