//@ known-bug: #114920
#![core::prelude::v1::test]