{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"//"}]}
        //
        // We can allow f to be called on `dyn DynCompatibleTrait + AutoTrait`.
        // If we didn't deny `impl AutoTrait for dyn Trait`, it would be unsound