最近在给 clangir 弄 dynamic_cast 支持，发现 clang 17 能够优化 dynamic_cast 到 final class 的情况了