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