{"ast_node_type":"import","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
    // which is sound because we forbid impls like the following
    // Specializing on `AlwaysApplicable` allows also specializing on `Debug`
    //