1 // check-pass 2 // aux-build:issue-57264-2.rs 3 4 extern crate issue_57264_2; 5 infer<T: issue_57264_2::PubTraitWithSingleImplementor>(arg: T) -> T6 fn infer<T: issue_57264_2::PubTraitWithSingleImplementor>(arg: T) -> T { arg } 7 main()8 fn main() { 9 infer(None).unwrap().pub_method(); 10 } 11