hi. Niko seems to be busy (and on vacation one of these weeks) so can someone take over reviewing this PR? https://github.com/rust-lang/rust/pull/65989. Thanks