{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"checker.check("}]}
    checker.check(
        .check(lang_items.dispatch_from_dyn_trait(), visit_implementation_of_dispatch_from_dyn)?;
        lang_items.coerce_pointee_validated_trait(),