Changes in src/AST/Expr.cpp [20de6fb:d8938622]

File:

• src/AST/Expr.cpp (modified) (2 diffs)

src/AST/Expr.cpp

@@ -20 +20 @@
 #include <vector>
 
+#include "GenericSubstitution.hpp"
 #include "Stmt.hpp"
 #include "Type.hpp"
+#include "TypeSubstitution.hpp"
 #include "Common/utility.h"
 #include "Common/SemanticError.h"
@@ -157 +159 @@
         assert( aggregate->result );
 
-        assert(!"unimplemented; need TypeSubstitution, genericSubstitution");
+        // take ownership of member type
+        Type * res = result.set_and_mutate( mem->get_type() );
+        // substitute aggregate generic parameters into member type
+        genericSubsitution( aggregate->result ).apply( res );
+        // ensure lvalue and appropriate restrictions from aggregate type
+        res->set_lvalue( true );
+        res->qualifiers |= aggregate->result->qualifiers;
+        // ensure changes propegated back into result
+        result = res;
 }