//@ known-bug: #123809
type Positive = std::pat::pattern_type!(std::pat is 0..);

pub fn main() {}