when rustc links you to https://doc.rust-lang.org/reference/subtyping.html you know you're in for a good time