diff options
| author | John Hodge <tpg@mutabah.net> | 2016-07-19 19:41:01 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2016-07-19 19:41:01 +0800 |
| commit | 3fab1f6071718b5456d4c6b33fa5afe8f9a43f71 (patch) | |
| tree | 8d6c97418b3d97b076a8b70c63d3f157494e9a3b /src/hir/type.hpp | |
| parent | 394fb3ccec788e2c3abff511d142a9573bc783a6 (diff) | |
| download | mrust-3fab1f6071718b5456d4c6b33fa5afe8f9a43f71.tar.gz | |
HIR - Very rough impl specialisation support in outer typeck
Diffstat (limited to 'src/hir/type.hpp')
| -rw-r--r-- | src/hir/type.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/hir/type.hpp b/src/hir/type.hpp index c5d08c5f..f01c0f1d 100644 --- a/src/hir/type.hpp +++ b/src/hir/type.hpp @@ -222,6 +222,7 @@ public: bool operator<(const ::HIR::TypeRef& x) const { return ord(x) == OrdLess; } Ordering ord(const ::HIR::TypeRef& x) const; + bool contains_generics() const; // Match generics in `this` with types from `x` // Raises a bug against `sp` if there is a form mismatch or `this` has an infer |