Changeset 4f6dda0 for src/Validate

Timestamp:

Mar 11, 2022, 11:08:19 AM (4 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, enum, master, pthread-emulation, qualifiedEnum

Children:

630c4bb

Parents:

b053083

Message:

Converted Implement Concurrent Keywords to the new AST. Includes updates to various helpers, including the virtual table and a lot of examine helpers.

File:

• src/Validate/ForallPointerDecay.cpp (modified) (1 diff)

src/Validate/ForallPointerDecay.cpp

@@ -70 +70 @@
                 AssertionList assertions;
                 // Substitute trait decl parameters for instance parameters.
-                ast::TypeSubstitution sub(
-                        inst->base->params.begin(),
-                        inst->base->params.end(),
-                        inst->params.begin()
-                );
+                ast::TypeSubstitution sub( inst->base->params, inst->params );
                 for ( const ast::ptr<ast::Decl> & decl : inst->base->members ) {
                         ast::ptr<ast::DeclWithType> copy =