This is a wonderful unsoundness and I am incredibly excited about it :3
-- lcnr on Github (Issue #135011)