src/test/ui/mir/issue-80742.rs

   1 // check-fail
   2
   3 // This test used to cause an ICE in rustc_mir::interpret::step::eval_rvalue_into_place
   4
   5 #![allow(incomplete_features)]
   6 #![feature(const_evaluatable_checked)]
   7 #![feature(const_generics)]
   8
   9 use std::fmt::Debug;
  10 use std::marker::PhantomData;
  11 use std::mem::size_of;
  12
  13 struct Inline<T>
  14 where
  15     [u8; size_of::<T>() + 1]: ,
  16 {
  17     _phantom: PhantomData<T>,
  18     buf: [u8; size_of::<T>() + 1],
  19 }
  20
  21 impl<T> Inline<T>
  22 where
  23     [u8; size_of::<T>() + 1]: ,
  24 {
  25     pub fn new(val: T) -> Inline<T> {
  26         todo!()
  27     }
  28 }
  29
  30 fn main() {
  31     let dst = Inline::<dyn Debug>::new(0); //~ ERROR
  32     //~^ ERROR
  33 }