| // Paths in type contexts may be followed by single colons. |
| // This means we can't generally assume that the user typo'ed a double colon. |
| // issue: <https://github.com/rust-lang/rust/issues/140227> |
| //@ check-pass |
| #![crate_type = "lib"] |
| #![expect(non_camel_case_types)] |
| |
| #[rustfmt::skip] |
| mod garden { |
| |
| fn f<path>() where path:to::somewhere {} // OK! |
| |
| fn g(_: impl Take<path:to::somewhere>) {} // OK! |
| |
| #[cfg(false)] fn h() where a::path:to::nowhere {} // OK! |
| |
| fn i(_: impl Take<path::<>:to::somewhere>) {} // OK! |
| |
| mod to { pub(super) trait somewhere {} } |
| trait Take { type path; } |
| |
| } |
