Benerate Constraints for Rust - Githubissues

smithy-lang / smithy-dafny

Apache License 2.0

9 stars 8 forks source link

Benerate Constraints for Rust #402

Open robin-aws opened 4 months ago

robin-aws commented 4 months ago

More complex than most, because it forces the question of whether we can reuse the logic in smithy-rs

Acceptance criteria:

Manually fill in the runtimes/rust directory of https://github.com/smithy-lang/smithy-dafny/tree/main-1.x/TestModels/Constraints in the same style as the other TestModels we've "benerated" so far, e.g. https://github.com/smithy-lang/smithy-dafny/tree/main-1.x/TestModels/SimpleTypes/SimpleString/runtimes/rust
- The main open question here is where to do the validation, and whether we can reuse the validation generated by the codegen-server smithy-rs library.
Enable this test model on Rust in CI by removing this line: https://github.com/smithy-lang/smithy-dafny/blob/main-1.x/codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/polymorph/smithyrust/RustTestModels.java#L21