Closed orvado closed 5 years ago
https://github.com/hoanhan101/ultimate-go/blob/43f4bde0370696e76b9ea2aee3b0f0b6a7b36957/go/language/pointer.go#L110
If this is the case, then we are in trouble
https://github.com/hoanhan101/ultimate-go/blob/43f4bde0370696e76b9ea2aee3b0f0b6a7b36957/go/language/pointer.go#L110
If this is the case, then we are in trouble