55 String s5 = g(this::m012);//ambiguous (g(Sam0), g(Sam1), g(Sam2) apply) |
55 String s5 = g(this::m012);//ambiguous (g(Sam0), g(Sam1), g(Sam2) apply) |
56 } |
56 } |
57 |
57 |
58 static void testUnbound() { |
58 static void testUnbound() { |
59 TargetType60 s1 = u(TargetType60::n0); //ok - resolves to u(Sam1) |
59 TargetType60 s1 = u(TargetType60::n0); //ok - resolves to u(Sam1) |
60 TargetType60 s2 = u(TargetType60::n1); //ambiguous (u(Sam1), u(Sam2) apply) |
60 TargetType60 s2 = u(TargetType60::n1); //ok - resolves to u(Sam2) |
61 TargetType60 s3 = u(TargetType60::n2); //none is applicable |
61 TargetType60 s3 = u(TargetType60::n2); //none is applicable |
62 TargetType60 s4 = u(TargetType60::n01);//ambiguous (u(Sam1), u(Sam2) apply) |
62 TargetType60 s4 = u(TargetType60::n01);//ambiguous (u(Sam1), u(Sam2) apply) |
63 TargetType60 s5 = u(TargetType60::n012);//ambiguous (u(Sam1), u(Sam2) apply) |
63 TargetType60 s5 = u(TargetType60::n012);//ambiguous (u(Sam1), u(Sam2) apply) |
64 } |
64 } |
65 } |
65 } |