Esempio n. 1
0
// Returns a reference-to-t. Note references collapse: &(&t) is equivalent 
// to &t.
Type&
make_reference_type(Context& cxt, Type& t)
{
  if (is_reference_type(t))
    return t;
  else
    return cxt.get_reference_type(t);
}
Esempio n. 2
0
// Returns true if `e` has reference type.
bool
has_reference_type(Expr const& e)
{
  return is_reference_type(e.type());
}