smithy-lang / smithy-dafny

Apache License 2.0
9 stars 8 forks source link

feat: add constraint checking for dotnet #336

Closed ajewellamz closed 5 months ago

ajewellamz commented 5 months ago

Description of changes:

This ONLY addresses constraint checking for dotnet

pull/257 will address rejecting any types, traits or constraints that we do not or cannot handle properly.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.