impl T for S {}