| 许杰友 Jieyou Xu (Joe) | ec2cc76 | 2024-02-16 20:02:50 | [diff] [blame] | 1 | //@ check-pass |
| Bram van den Heuvel | dae7c36 | 2021-10-26 10:33:49 | [diff] [blame] | 2 | |
| 3 | pub fn foo<'a>(s: &'a mut ()) where &'a mut (): Clone { | ||||
| 4 | <&mut () as Clone>::clone(&s); | ||||
| 5 | } | ||||
| 6 | |||||
| 7 | fn main() {} | ||||