{"ast_node_type":"impl","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// Treat `impl Trait` as a "trait ascription", which is like a type
    /// variable but that also enforces that a set of trait goals hold.