Munksgaard / session-types

MIT License
550 stars 21 forks source link

Seal HasDual trait #49

Closed laumann closed 5 years ago

laumann commented 5 years ago

I tried running cargo test but I could never get the new test case to fail , not sure what is up with that.

EDIT: Oh right, I have to run it with --features chan_select :confused:

laumann commented 5 years ago

Yes, and we don't have to worry about malicious people implementing their own protocol types :smile: