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