1
Fork 0

Rename drop_copy lint to dropping_copy_types

This commit is contained in:
Urgau 2023-05-19 11:14:55 +02:00
parent d77014a608
commit 1c7ab18c08
43 changed files with 60 additions and 60 deletions

View file

@ -3,7 +3,7 @@
// check-pass
#![allow(irrefutable_let_patterns)]
#![allow(drop_copy)]
#![allow(dropping_copy_types)]
#![allow(drop_ref)]
fn main() {