@Esteban Küber Looking at https://github.com/rust-lang/rust/pull/58204#issuecomment-463452850, this might potentially be due to https://github.com/rust-lang/rust/pull/58110.
I just rebased the pr and noticed later that the problem was beyond a merge failure
I'll take a look at it soob
Thanks for the heads up
yw, hopefully we uncovered an old existing bug and can now fix it