src/test/ui/substs-ppaux.normal.stderr

   1 error[E0308]: mismatched types
   2   --> $DIR/substs-ppaux.rs:25:17
   3    |
   4 LL |     let x: () = <i8 as Foo<'static, 'static,  u8>>::bar::<'static, char>;
   5    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected (), found fn item
   6    |
   7    = note: expected type `()`
   8               found type `fn() {<i8 as Foo<'static, 'static, u8>>::bar::<'static, char>}`
   9
  10 error[E0308]: mismatched types
  11   --> $DIR/substs-ppaux.rs:34:17
  12    |
  13 LL |     let x: () = <i8 as Foo<'static, 'static,  u32>>::bar::<'static, char>;
  14    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected (), found fn item
  15    |
  16    = note: expected type `()`
  17               found type `fn() {<i8 as Foo<'static, 'static>>::bar::<'static, char>}`
  18
  19 error[E0308]: mismatched types
  20   --> $DIR/substs-ppaux.rs:42:17
  21    |
  22 LL |     let x: () = <i8 as Foo<'static, 'static,  u8>>::baz;
  23    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected (), found fn item
  24    |
  25    = note: expected type `()`
  26               found type `fn() {<i8 as Foo<'static, 'static, u8>>::baz}`
  27
  28 error[E0308]: mismatched types
  29   --> $DIR/substs-ppaux.rs:50:17
  30    |
  31 LL |     let x: () = foo::<'static>;
  32    |                 ^^^^^^^^^^^^^^ expected (), found fn item
  33    |
  34    = note: expected type `()`
  35               found type `fn() {foo::<'static>}`
  36
  37 error[E0277]: the size for values of type `str` cannot be known at compilation time
  38   --> $DIR/substs-ppaux.rs:58:5
  39    |
  40 LL |     <str as Foo<u8>>::bar;
  41    |     ^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
  42    |
  43    = help: the trait `std::marker::Sized` is not implemented for `str`
  44    = note: to learn more, visit <https://doc.rust-lang.org/book/second-edition/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
  45    = note: required because of the requirements on the impl of `Foo<'_, '_, u8>` for `str`
  46 note: required by `Foo::bar`
  47   --> $DIR/substs-ppaux.rs:16:5
  48    |
  49 LL |     fn bar<'a, T>() where T: 'a {}
  50    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
  51
  52 error: aborting due to 5 previous errors
  53
  54 Some errors occurred: E0277, E0308.
  55 For more information about an error, try `rustc --explain E0277`.