search

rust-lang / types-team

Home of the "types team", affiliated with the compiler and lang teams.
https://rust-lang.github.io/types-team/
Apache License 2.0
94 stars 19 forks source link

unsound issues fun time #125

Open lcnr opened 10 months ago

lcnr commented 10 months ago

Summary

unsoundness planning work meeting

Rationale

make progress on unblocked unsound issues

lcnr commented 7 months ago

I triaged the unsound issues in https://github.com/orgs/rust-lang/projects/44