Constraints inside list, map and union is not checked

smithy-lang / smithy-dafny

Apache License 2.0

10 stars 8 forks source link

Constraints inside list, map and union is not checked #491

Open rishav-karanjit opened 4 months ago

rishav-karanjit commented 4 months ago

When we generate code for .NET and Java, it does not generate code to check for constraints inside list, map and union (Only .NET for union). Because of this, this PR is failing. Example of Failure:

SimpleConstraintsImplTest.TestConstraints: PASSED
WrappedSimpleConstraintsTest.TestConstraints: FAILED
        test/WrappedSimpleConstraintsTest.dfy(389,4): expectation violation
[Program halted] <stdin>(1,0): Test failures occurred: see above.

seebees commented 4 months ago

https://github.com/smithy-lang/smithy-dafny/pull/485 is an example of tests that need to pass for this to work

alex-chew commented 2 months ago

Note that the implementation for Rust (#582) will also be affected.