error[E0433]: failed to resolve: `Y` is a variant, not a module
  --> $DIR/ufcs-partially-resolved.rs:48:22
   |
LL |     let _: <u8 as E::Y>::NN;
   |                      ^ `Y` is a variant, not a module

error[E0433]: failed to resolve: `Y` is a variant, not a module
  --> $DIR/ufcs-partially-resolved.rs:50:15
   |
LL |     <u8 as E::Y>::NN;
   |               ^ `Y` is a variant, not a module

error[E0576]: cannot find associated type `N` in trait `Tr`
  --> $DIR/ufcs-partially-resolved.rs:19:24
   |
LL |     type Y = u16;
   |     ------------- similarly named associated type `Y` defined here
...
LL |     let _: <u8 as Tr>::N;
   |                        ^ help: an associated type with a similar name exists: `Y`

error[E0576]: cannot find associated type `N` in enum `E`
  --> $DIR/ufcs-partially-resolved.rs:20:23
   |
LL |     let _: <u8 as E>::N;
   |                       ^ not found in `E`

error[E0576]: cannot find associated type `N` in `A`
  --> $DIR/ufcs-partially-resolved.rs:21:23
   |
LL |     let _: <u8 as A>::N;
   |                       ^ not found in `A`

error[E0576]: cannot find method or associated constant `N` in trait `Tr`
  --> $DIR/ufcs-partially-resolved.rs:22:17
   |
LL |     fn Y() {}
   |     ------ similarly named associated function `Y` defined here
...
LL |     <u8 as Tr>::N;
   |                 ^ help: an associated function with a similar name exists: `Y`

error[E0576]: cannot find method or associated constant `N` in enum `E`
  --> $DIR/ufcs-partially-resolved.rs:23:16
   |
LL |     <u8 as E>::N;
   |                ^ not found in `E`

error[E0576]: cannot find method or associated constant `N` in `A`
  --> $DIR/ufcs-partially-resolved.rs:24:16
   |
LL |     <u8 as A>::N;
   |                ^ not found in `A`

error[E0575]: expected associated type, found variant `E::Y`
  --> $DIR/ufcs-partially-resolved.rs:26:12
   |
LL |     let _: <u8 as E>::Y;
   |            ^^^^^^^^^^^^ not a associated type

error[E0575]: expected method or associated constant, found unit variant `E::Y`
  --> $DIR/ufcs-partially-resolved.rs:28:5
   |
LL |     <u8 as E>::Y;
   |     ^^^^^^^^^^^^ not a method or associated constant

error[E0576]: cannot find associated type `N` in trait `Tr`
  --> $DIR/ufcs-partially-resolved.rs:30:24
   |
LL |     type Y = u16;
   |     ------------- similarly named associated type `Y` defined here
...
LL |     let _: <u8 as Tr>::N::NN;
   |                        ^ help: an associated type with a similar name exists: `Y`

error[E0576]: cannot find associated type `N` in enum `E`
  --> $DIR/ufcs-partially-resolved.rs:31:23
   |
LL |     let _: <u8 as E>::N::NN;
   |                       ^ not found in `E`

error[E0576]: cannot find associated type `N` in `A`
  --> $DIR/ufcs-partially-resolved.rs:32:23
   |
LL |     let _: <u8 as A>::N::NN;
   |                       ^ not found in `A`

error[E0576]: cannot find associated type `N` in trait `Tr`
  --> $DIR/ufcs-partially-resolved.rs:33:17
   |
LL |     type Y = u16;
   |     ------------- similarly named associated type `Y` defined here
...
LL |     <u8 as Tr>::N::NN;
   |                 ^ help: an associated type with a similar name exists: `Y`

error[E0576]: cannot find associated type `N` in enum `E`
  --> $DIR/ufcs-partially-resolved.rs:34:16
   |
LL |     <u8 as E>::N::NN;
   |                ^ not found in `E`

error[E0576]: cannot find associated type `N` in `A`
  --> $DIR/ufcs-partially-resolved.rs:35:16
   |
LL |     <u8 as A>::N::NN;
   |                ^ not found in `A`

error[E0575]: expected associated type, found variant `E::Y`
  --> $DIR/ufcs-partially-resolved.rs:37:12
   |
LL |     let _: <u8 as E>::Y::NN;
   |            ^^^^^^^^^^^^^^^^ not a associated type

error[E0575]: expected associated type, found variant `E::Y`
  --> $DIR/ufcs-partially-resolved.rs:39:5
   |
LL |     <u8 as E>::Y::NN;
   |     ^^^^^^^^^^^^^^^^ not a associated type

error[E0576]: cannot find associated type `NN` in `Tr::N`
  --> $DIR/ufcs-partially-resolved.rs:41:27
   |
LL |     let _: <u8 as Tr::N>::NN;
   |                           ^^ not found in `Tr::N`

error[E0576]: cannot find associated type `NN` in `E::N`
  --> $DIR/ufcs-partially-resolved.rs:42:26
   |
LL |     let _: <u8 as E::N>::NN;
   |                          ^^ not found in `E::N`

error[E0576]: cannot find associated type `NN` in `A::N`
  --> $DIR/ufcs-partially-resolved.rs:43:26
   |
LL |     let _: <u8 as A::N>::NN;
   |                          ^^ not found in `A::N`

error[E0576]: cannot find method or associated constant `NN` in `Tr::N`
  --> $DIR/ufcs-partially-resolved.rs:44:20
   |
LL |     <u8 as Tr::N>::NN;
   |                    ^^ not found in `Tr::N`

error[E0576]: cannot find method or associated constant `NN` in `E::N`
  --> $DIR/ufcs-partially-resolved.rs:45:19
   |
LL |     <u8 as E::N>::NN;
   |                   ^^ not found in `E::N`

error[E0576]: cannot find method or associated constant `NN` in `A::N`
  --> $DIR/ufcs-partially-resolved.rs:46:19
   |
LL |     <u8 as A::N>::NN;
   |                   ^^ not found in `A::N`

error[E0576]: cannot find associated type `NN` in `Tr::Y`
  --> $DIR/ufcs-partially-resolved.rs:47:27
   |
LL |     let _: <u8 as Tr::Y>::NN;
   |                           ^^ not found in `Tr::Y`

error[E0576]: cannot find method or associated constant `NN` in `Tr::Y`
  --> $DIR/ufcs-partially-resolved.rs:49:20
   |
LL |     <u8 as Tr::Y>::NN;
   |                    ^^ not found in `Tr::Y`

error[E0575]: expected associated type, found associated function `Dr::Z`
  --> $DIR/ufcs-partially-resolved.rs:52:12
   |
LL |     type X = u16;
   |     ------------- similarly named associated type `X` defined here
...
LL |     let _: <u8 as Dr>::Z;
   |            ^^^^^^^^^^^^-
   |                        |
   |                        help: an associated type with a similar name exists: `X`

error[E0575]: expected method or associated constant, found associated type `Dr::X`
  --> $DIR/ufcs-partially-resolved.rs:53:5
   |
LL |     fn Z() {}
   |     ------ similarly named associated function `Z` defined here
...
LL |     <u8 as Dr>::X;
   |     ^^^^^^^^^^^^-
   |                 |
   |                 help: an associated function with a similar name exists: `Z`
   |
   = note: can't use a type alias as a constructor

error[E0575]: expected associated type, found associated function `Dr::Z`
  --> $DIR/ufcs-partially-resolved.rs:54:12
   |
LL |     type X = u16;
   |     ------------- similarly named associated type `X` defined here
...
LL |     let _: <u8 as Dr>::Z::N;
   |            ^^^^^^^^^^^^-^^^
   |                        |
   |                        help: an associated type with a similar name exists: `X`

error[E0223]: ambiguous associated type
  --> $DIR/ufcs-partially-resolved.rs:36:12
   |
LL |     let _: <u8 as Tr>::Y::NN;
   |            ^^^^^^^^^^^^^^^^^
   |
help: if there were a trait named `Example` with associated type `NN` implemented for `<u8 as Tr>::Y`, you could use the fully-qualified path
   |
LL |     let _: <<u8 as Tr>::Y as Example>::NN;
   |            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

error[E0599]: no associated item named `NN` found for type `u16` in the current scope
  --> $DIR/ufcs-partially-resolved.rs:38:20
   |
LL |     <u8 as Tr>::Y::NN;
   |                    ^^ associated item not found in `u16`

error[E0599]: no associated item named `N` found for type `u16` in the current scope
  --> $DIR/ufcs-partially-resolved.rs:55:20
   |
LL |     <u8 as Dr>::X::N;
   |                    ^ associated item not found in `u16`

error: aborting due to 32 previous errors

Some errors have detailed explanations: E0223, E0433, E0575, E0576, E0599.
For more information about an error, try `rustc --explain E0223`.