{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"debug!(\"unsolved_variable"}]}
            debug!("unsolved_variable = {:?}", ty);
        for ty in unresolved_variables {
            fallback_occurred |= self.fallback_if_possible(ty, &diverging_fallback);