[7889f14] | 1 | completeTypeError.cfa:34:1 error: Cannot choose between 2 alternatives for expression |
---|
| 2 | Generated Cast of: |
---|
| 3 | Applying untyped: |
---|
| 4 | Name: *? |
---|
| 5 | ...to: |
---|
| 6 | Name: x |
---|
| 7 | |
---|
| 8 | ... to: nothing Alternatives are: |
---|
| 9 | Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: |
---|
[dd857bb] | 10 | Application of |
---|
| 11 | Variable Expression: *?: forall |
---|
| 12 | DT: object type |
---|
| 13 | function |
---|
| 14 | ... with parameters |
---|
| 15 | intrinsic pointer to instance of type DT (not function type) |
---|
| 16 | ... returning |
---|
| 17 | _retval__operator_deref: reference to instance of type DT (not function type) |
---|
| 18 | ... with attributes: |
---|
| 19 | Attribute with name: unused |
---|
[7889f14] | 20 | |
---|
| 21 | |
---|
[dd857bb] | 22 | ... to arguments |
---|
| 23 | Variable Expression: x: pointer to instance of struct A with body 0 |
---|
[7889f14] | 24 | |
---|
[dd857bb] | 25 | ... to: nothing |
---|
| 26 | (types: |
---|
| 27 | void |
---|
| 28 | ) |
---|
[bd87a9ad] | 29 | Environment:( _83_4_DT ) -> instance of struct A with body 0 (no widening) |
---|
[7889f14] | 30 | |
---|
| 31 | |
---|
| 32 | Cost ( 0, 1, 2, 0, 1, -1, 0 ): Generated Cast of: |
---|
[dd857bb] | 33 | Application of |
---|
| 34 | Variable Expression: *?: forall |
---|
| 35 | DT: object type |
---|
| 36 | function |
---|
| 37 | ... with parameters |
---|
| 38 | intrinsic pointer to instance of type DT (not function type) |
---|
| 39 | ... returning |
---|
| 40 | _retval__operator_deref: reference to instance of type DT (not function type) |
---|
| 41 | ... with attributes: |
---|
| 42 | Attribute with name: unused |
---|
[7889f14] | 43 | |
---|
| 44 | |
---|
[dd857bb] | 45 | ... to arguments |
---|
| 46 | Variable Expression: x: pointer to instance of struct B with body 1 |
---|
[7889f14] | 47 | |
---|
[dd857bb] | 48 | ... to: nothing |
---|
| 49 | (types: |
---|
| 50 | void |
---|
| 51 | ) |
---|
[bd87a9ad] | 52 | Environment:( _83_4_DT ) -> instance of struct B with body 1 (no widening) |
---|
[7889f14] | 53 | |
---|
[0f35657] | 54 | |
---|
[4d5e57b] | 55 | |
---|
[07ec1a2] | 56 | completeTypeError.cfa:35:1 error: No reasonable alternatives for expression Applying untyped: |
---|
[4d5e57b] | 57 | Name: foo |
---|
[07ec1a2] | 58 | ...to: |
---|
[4d5e57b] | 59 | Name: v |
---|
[0f35657] | 60 | |
---|
[07ec1a2] | 61 | completeTypeError.cfa:36:1 error: No reasonable alternatives for expression Applying untyped: |
---|
[2c57025] | 62 | Name: baz |
---|
[07ec1a2] | 63 | ...to: |
---|
[2c57025] | 64 | Name: v |
---|
| 65 | |
---|
[07ec1a2] | 66 | completeTypeError.cfa:37:1 error: No reasonable alternatives for expression Applying untyped: |
---|
[2c57025] | 67 | Name: quux |
---|
[07ec1a2] | 68 | ...to: |
---|
[2c57025] | 69 | Name: v |
---|
| 70 | |
---|
[07ec1a2] | 71 | completeTypeError.cfa:59:1 error: No reasonable alternatives for expression Applying untyped: |
---|
[7889f14] | 72 | Name: baz |
---|
[07ec1a2] | 73 | ...to: |
---|
[2c57025] | 74 | Name: y |
---|
| 75 | |
---|
[07ec1a2] | 76 | completeTypeError.cfa:60:1 error: No reasonable alternatives for expression Applying untyped: |
---|
[7889f14] | 77 | Name: quux |
---|
[07ec1a2] | 78 | ...to: |
---|
[0f35657] | 79 | Name: y |
---|
| 80 | |
---|
[7889f14] | 81 | completeTypeError.cfa:72:1 error: No alternatives with satisfiable assertions for Applying untyped: |
---|
[2c57025] | 82 | Name: baz |
---|
[07ec1a2] | 83 | ...to: |
---|
[2c57025] | 84 | Name: z |
---|
| 85 | |
---|
[dd857bb] | 86 | Unsatisfiable alternative: |
---|
[3e7c323] | 87 | Cost ( 0, 1, 0, 0, 1, -5, 0 ): Application of |
---|
[dd857bb] | 88 | Variable Expression: baz: forall |
---|
| 89 | T: sized object type |
---|
| 90 | ... with assertions |
---|
| 91 | ?=?: pointer to function |
---|
| 92 | ... with parameters |
---|
| 93 | reference to instance of type T (not function type) |
---|
| 94 | instance of type T (not function type) |
---|
| 95 | ... returning |
---|
| 96 | _retval__operator_assign: instance of type T (not function type) |
---|
| 97 | ... with attributes: |
---|
| 98 | Attribute with name: unused |
---|
| 99 | |
---|
| 100 | |
---|
| 101 | ?{}: pointer to function |
---|
| 102 | ... with parameters |
---|
| 103 | reference to instance of type T (not function type) |
---|
| 104 | ... returning nothing |
---|
| 105 | |
---|
| 106 | ?{}: pointer to function |
---|
| 107 | ... with parameters |
---|
| 108 | reference to instance of type T (not function type) |
---|
| 109 | instance of type T (not function type) |
---|
| 110 | ... returning nothing |
---|
| 111 | |
---|
| 112 | ^?{}: pointer to function |
---|
| 113 | ... with parameters |
---|
| 114 | reference to instance of type T (not function type) |
---|
| 115 | ... returning nothing |
---|
| 116 | |
---|
| 117 | |
---|
| 118 | function |
---|
| 119 | ... with parameters |
---|
| 120 | pointer to instance of type T (not function type) |
---|
| 121 | ... returning nothing |
---|
| 122 | |
---|
| 123 | ... to arguments |
---|
| 124 | Variable Expression: z: pointer to instance of type T (not function type) |
---|
| 125 | |
---|
| 126 | (types: |
---|
| 127 | void |
---|
| 128 | ) |
---|
[bd87a9ad] | 129 | Environment:( _102_0_T ) -> instance of type T (not function type) (no widening) |
---|
[dd857bb] | 130 | |
---|
| 131 | Could not satisfy assertion: |
---|
[7889f14] | 132 | ?=?: pointer to function |
---|
[dd857bb] | 133 | ... with parameters |
---|
[bd87a9ad] | 134 | reference to instance of type _102_0_T (not function type) |
---|
| 135 | instance of type _102_0_T (not function type) |
---|
[dd857bb] | 136 | ... returning |
---|
[bd87a9ad] | 137 | _retval__operator_assign: instance of type _102_0_T (not function type) |
---|
[dd857bb] | 138 | ... with attributes: |
---|
| 139 | Attribute with name: unused |
---|
[c9aba81] | 140 | |
---|
| 141 | |
---|