{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// an expected type. Otherwise, we might write parts of the type
    /// If the expected type is just a type variable, then don't use
    /// when checking the 'then' block which are incompatible with the