{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
    /// - `external_constraints`: additional constraints which aren't expressible
    ///   the values inferred while solving the instantiated goal.
    ///   using simple unification of inference variables.