{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"});"}]}
                        });
                            bug!("Could not equate type variable with {:?}: {:?}", ty_left, err)
                        if let Err(terr) = self.sub_types(