I don't believe it will. Note that the only subtyping is with regions, so R and E must be the same type, excepting their lifetimes.