error[E0412]: cannot find type `A` in this scope
  --> $DIR/associated-path-shl.rs:4:14
   |
LL |     let _: <<A>::B>::C;
   |              ^ not found in this scope

error[E0412]: cannot find type `A` in this scope
  --> $DIR/associated-path-shl.rs:5:15
   |
LL |     let _ = <<A>::B>::C;
   |               ^ not found in this scope

error[E0412]: cannot find type `A` in this scope
  --> $DIR/associated-path-shl.rs:6:11
   |
LL |     let <<A>::B>::C;
   |           ^ not found in this scope

error[E0412]: cannot find type `A` in this scope
  --> $DIR/associated-path-shl.rs:7:17
   |
LL |     let 0 ..= <<A>::B>::C;
   |                 ^ not found in this scope

error[E0412]: cannot find type `A` in this scope
  --> $DIR/associated-path-shl.rs:9:7
   |
LL |     <<A>::B>::C;
   |       ^ not found in this scope

error[E0029]: only char and numeric types are allowed in range patterns
  --> $DIR/associated-path-shl.rs:7:15
   |
LL |     let 0 ..= <<A>::B>::C;
   |               ^^^^^^^^^^^ ranges require char or numeric types
   |
   = note: start type: {integer}
   = note: end type: [type error]

error: aborting due to 6 previous errors

Some errors have detailed explanations: E0029, E0412.
For more information about an error, try `rustc --explain E0029`.