{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"if"}]}
        if contains_dyn_trait(&self.cast_ty) {
        // We skip cast checks for such cases for now, until the next-gen solver.
            return Ok(());