diff options
Diffstat (limited to 'source/slang/slang-check-expr.cpp')
| -rw-r--r-- | source/slang/slang-check-expr.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/source/slang/slang-check-expr.cpp b/source/slang/slang-check-expr.cpp index 05cb6262b..3d2f81edb 100644 --- a/source/slang/slang-check-expr.cpp +++ b/source/slang/slang-check-expr.cpp @@ -500,6 +500,12 @@ namespace Slang // Don't synthesize for ThisType. if (as<ThisTypeDecl>(subType->getDeclRef().getDecl())) return nullptr; + + // If the inner most subtype is itself an associated type, then we're dealing + // with an abstract type. There's not need to synthesize anythin at this point. + // + if (as<AssocTypeDecl>(subType->getDeclRef().getDecl())) + return nullptr; // If we reach here, we are expecting a synthesized decl defined in `subType`. // Instead of returning a DeclRefExpr to the requirement decl, we synthesize a placeholder decl |