src/test/ui/issues/issue-28828.rs

   1 // run-pass
   2 pub trait Foo {
   3     type Out;
   4 }
   5
   6 impl Foo for () {
   7     type Out = bool;
   8 }
   9
  10 fn main() {
  11     type Bool = <() as Foo>::Out;
  12
  13     let x: Bool = true;
  14     assert!(x);
  15
  16     let y: Option<Bool> = None;
  17     assert_eq!(y, None);
  18 }