{"ast_node_type":"import","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// details). You can then use `instantiate` to instantiate the
    /// characteristics (see `instantiate_canonical_var` for
    /// canonical variable with these inference variables.