tests/ui/wf/issue-95665.rs

   1 // Regression test for the ICE described in #95665.
   2 // Ensure that the expected error is output (and thus that there is no ICE)
   3
   4 pub trait Trait: {}
   5
   6 pub struct Struct<T: Trait> {
   7     member: T,
   8 }
   9
  10 // uncomment and bug goes away
  11 // impl Trait for u8 {}
  12
  13 extern "C" {
  14     static VAR: Struct<u8>;
  15                 //~^ 14:17: 14:27: the trait bound `u8: Trait` is not satisfied [E0277]
  16 }
  17
  18 fn main() {}