bool Type::is_dependent() const { return is_dependent_type(_type_info); }
// Returns true if the expression is type-dependent. An expression // is type-dependent if it has dependent type. // // TODO: There are probably some other interesting cases here. bool is_type_dependent(Expr const& e) { return is_dependent_type(e.type()); }