jswrenn / typic

Type-safe transmutations between layout-compatible types.
https://crates.io/crates/typic
Apache License 2.0
121 stars 4 forks source link

`typic::repr(transparent)` caused solver overflow #4

Open Ericson2314 opened 4 years ago

Ericson2314 commented 4 years ago

Sorry in a rush would have to make minimal example later.

jswrenn commented 4 years ago

Thanks!!! don't think I've actually tested repr(transparent) yet, so I'm not surprised. 😬

DianaNites commented 4 years ago

Just ran into this.

Example:

#[typic::repr(transparent)]
struct Example;
Errors ```shell error[E0275]: overflow evaluating the requirement `::HighLevel` --> src/lib.rs:76:1 | 76 | #[typic::repr(transparent)] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = note: this error originates in an attribute macro (in Nightly builds, run with -Z macro-backtrace for more info) error[E0275]: overflow evaluating the requirement `::ReprAlign` --> src/lib.rs:76:1 | 76 | #[typic::repr(transparent)] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = note: this error originates in an attribute macro (in Nightly builds, run with -Z macro-backtrace for more info) error[E0275]: overflow evaluating the requirement `::ReprPacked` --> src/lib.rs:76:1 | 76 | #[typic::repr(transparent)] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = note: this error originates in an attribute macro (in Nightly builds, run with -Z macro-backtrace for more info) error: aborting due to 3 previous errors ```