Lucas Franceschino
Lucas Franceschino
Putting this issue as High, I will add it to my planning for next week so that we can close this issue.
All the sub issues are fixed, thus this should be closed as well.
Sure, will try to minimize as soon as possible. I have no idea, those errors are new, just saw that this morning, I spent no time investigating. But that's very...
(looking at the names of the crates, that would not be so surprising to see GATs in there)
@Nadrieril, you're right, that's some bad owner id in HIR! Repro: ```rust trait Tr { type Ty; } impl Tr for () { type Ty = Option; } ``` [Open...
Maybe the easiest fix is to switch to `FullDef` :D I'm looking a bit at it @Nadrieril, I can't find the "impl expr" information for associated types in `FullDef`, e.g....
Great, thank you! Will try to switch to FullDef asap :)
Thanks, that's the engine side of #1057 I believe!
There is no unsafe needed here: ```rust use std::ptr::NonNull; fn g(x: * const i32) -> i32 { 1 } fn f(x: NonNull) -> i32 { g(x.as_ptr()) } ``` [Open this...
I think you can use the following as workaround: ```rust pub(crate) fn kem_keygen( alg: KemScheme, rng: &mut R, ) -> Result ``` Then you'll be able to use `$:{R}`. Example...