type A: Trait; type A; type A = B; type R<T> = m::R<T, ConcreteError> let vec: Vec<isize> = Vec::new(); if 100 > i32::MAX {}