{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
    // Since impls of always applicable traits don't get to assume anything, we
    // can also assume their supertraits apply.