{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"///"}]}
    /// 'else' branch.
    /// when checking the 'then' block which are incompatible with the
    fn adjust_for_branches(&self, table: &mut unify::InferenceTable<'_>) -> Expectation {