@@ -17,41 +17,41 @@ fn test_fn<T>(_x: &x/T, _y: &y/T, _z: &z/T) {
1717 // subtype::<T1>(of::<T2>()) will typecheck
1818 // iff T1 <: T2.
1919
20- subtype :: < fn ( & a /T ) > (
21- of :: < fn ( & a /T ) > ( ) ) ;
20+ subtype :: < & fn ( & a /T ) > (
21+ of :: < & fn ( & a /T ) > ( ) ) ;
2222
23- subtype :: < fn ( & a /T ) > (
24- of :: < fn ( & b /T ) > ( ) ) ;
23+ subtype :: < & fn ( & a /T ) > (
24+ of :: < & fn ( & b /T ) > ( ) ) ;
2525
26- subtype :: < fn ( & b /T ) > (
27- of :: < fn ( & x /T ) > ( ) ) ;
26+ subtype :: < & fn ( & b /T ) > (
27+ of :: < & fn ( & x /T ) > ( ) ) ;
2828
29- subtype :: < fn ( & x /T ) > (
30- of :: < fn ( & b /T ) > ( ) ) ; //~ ERROR mismatched types
29+ subtype :: < & fn ( & x /T ) > (
30+ of :: < & fn ( & b /T ) > ( ) ) ; //~ ERROR mismatched types
3131
32- subtype :: < fn ( & a /T , & b /T ) > (
33- of :: < fn ( & a /T , & a /T ) > ( ) ) ;
32+ subtype :: < & fn ( & a /T , & b /T ) > (
33+ of :: < & fn ( & a /T , & a /T ) > ( ) ) ;
3434
35- subtype :: < fn ( & a /T , & a /T ) > (
36- of :: < fn ( & a /T , & b /T ) > ( ) ) ; //~ ERROR mismatched types
35+ subtype :: < & fn ( & a /T , & a /T ) > (
36+ of :: < & fn ( & a /T , & b /T ) > ( ) ) ; //~ ERROR mismatched types
3737
38- subtype :: < fn ( & a /T , & b /T ) > (
39- of :: < fn ( & x /T , & y /T ) > ( ) ) ;
38+ subtype :: < & fn ( & a /T , & b /T ) > (
39+ of :: < & fn ( & x /T , & y /T ) > ( ) ) ;
4040
41- subtype :: < fn ( & x /T , & y /T ) > (
42- of :: < fn ( & a /T , & b /T ) > ( ) ) ; //~ ERROR mismatched types
41+ subtype :: < & fn ( & x /T , & y /T ) > (
42+ of :: < & fn ( & a /T , & b /T ) > ( ) ) ; //~ ERROR mismatched types
4343
44- subtype :: < fn ( & x /T ) -> @fn ( & a /T ) > (
45- of :: < fn ( & x /T ) -> @fn ( & a /T ) > ( ) ) ;
44+ subtype :: < & fn ( & x /T ) -> @fn ( & a /T ) > (
45+ of :: < & fn ( & x /T ) -> @fn ( & a /T ) > ( ) ) ;
4646
47- subtype :: < fn ( & a /T ) -> @fn ( & a /T ) > (
48- of :: < fn ( & a /T ) -> @fn ( & b /T ) > ( ) ) ; //~ ERROR mismatched types
47+ subtype :: < & fn ( & a /T ) -> @fn ( & a /T ) > (
48+ of :: < & fn ( & a /T ) -> @fn ( & b /T ) > ( ) ) ; //~ ERROR mismatched types
4949
50- subtype :: < fn ( & a /T ) -> @fn ( & a /T ) > (
51- of :: < fn ( & x /T ) -> @fn ( & b /T ) > ( ) ) ; //~ ERROR mismatched types
50+ subtype :: < & fn ( & a /T ) -> @fn ( & a /T ) > (
51+ of :: < & fn ( & x /T ) -> @fn ( & b /T ) > ( ) ) ; //~ ERROR mismatched types
5252
53- subtype :: < fn ( & a /T ) -> @fn ( & b /T ) > (
54- of :: < fn ( & a /T ) -> @fn ( & a /T ) > ( ) ) ;
53+ subtype :: < & fn ( & a /T ) -> @fn ( & b /T ) > (
54+ of :: < & fn ( & a /T ) -> @fn ( & a /T ) > ( ) ) ;
5555}
5656
5757fn main ( ) { }
0 commit comments