{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
    /// variables and placeholders then applies it to the canonical value.
    /// Creates an instantiation S for the canonical value with fresh inference
    /// Returns both the instantiated result *and* the instantiation S.