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