TypeInfo *Interpreter::type_info( const Expr &type ) { auto iter = type_info_map.find( type ); ASSERT( iter != type_info_map.end(), "not a registered type var" ); TypeInfo *res = iter->second; res->parse_if_necessary(); return res; }