HIR Typecheck CS - Distinguish between "direction" of possible ivar values.

- When both sides are known, it propagates leftwards

1 files changed, 2 insertions, 1 deletions

diff --git a/src/hir/type.cpp b/src/hir/type.cpp
index 3bdff34e..28d11aa9 100644
--- a/src/hir/type.cpp
+++ b/src/hir/type.cpp
@@ -33,6 +33,7 @@ namespace HIR {
         case CoreType::Char:    return os << "char";
         case CoreType::Str:     return os << "str";
         }
+        assert(!"Bad CoreType value");
         return os;
     }
 }
@@ -65,7 +66,7 @@ void ::HIR::TypeRef::fmt(::std::ostream& os) const
         TU_MATCH(::HIR::TypeRef::TypePathBinding, (e.binding), (be),
         (Unbound, os << "/*U*/";),
         (Opaque, os << "/*O*/";),
-        (Struct, os << "/*S/";),
+        (Struct, os << "/*S*/";),
         (Enum, os << "/*E*/";)
         )
         ),