Opened 6 years ago
Last modified 6 years ago
#212 closed defect
Revert InferUnion change in new-ast — at Initial Version
| Reported by: | f37yu | Owned by: | |
|---|---|---|---|
| Priority: | major | Component: | cfa-cc |
| Version: | 1.0 | Keywords: | |
| Cc: |
Description
The partially unresolved inferred parameters are actually useful as suggested by test results. In new-ast an optimization caused this to be no longer possible.
The previous change silenced errors in this case and dropped all unresolved inferred parameters, assuming those alternatives are always eliminated. Unfortunately, this does not always happen, so the memory optimization makes resolver incorrect.
Affected code:
ResolvExpr::InferMatcher at SatisfyAssertions.cpp:226
Expr::InferUnion at Expr.hpp:68
Note:
See TracTickets
for help on using tickets.
