tests/ui/rfc-2632-const-trait-impl/issue-92111.rs

   1 // Regression test for #92111.
   2 //
   3 // check-pass
   4
   5 #![feature(const_trait_impl)]
   6
   7 use std::marker::Destruct;
   8
   9 pub trait Tr {}
  10
  11 #[allow(drop_bounds)]
  12 impl<T: Drop> Tr for T {}
  13
  14 #[derive(Debug)]
  15 pub struct S(i32);
  16
  17 impl Tr for S {}
  18
  19 const fn a<T: ~const Destruct>(t: T) {}
  20
  21 fn main() {
  22     a(S(0));
  23 }