https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101619
--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-10 branch has been updated by Iain Buclaw <ibuc...@gcc.gnu.org>: https://gcc.gnu.org/g:54e7981234503e354602088c60cb5b27c8a015d6 commit r10-10004-g54e7981234503e354602088c60cb5b27c8a015d6 Author: Iain Buclaw <ibuc...@gdcproject.org> Date: Sun Jul 25 19:54:08 2021 +0200 d: Change in DotTemplateExp type semantics leading to regression (PR101619) By giving dot templates a type, meant that properry resolving silently started passing for code that should never have passed. The simple fix is to provide implementations for checkType and checkValue that give an error about dot templates having neither a value nor type. Reviewed-on: https://github.com/dlang/dmd/pull/12920 PR d/101619 gcc/d/ChangeLog: * dmd/expression.c (DotTemplateExp::checkType): New function. (DotTemplateExp::checkValue): New function. * dmd/expression.h (class DotTemplateExp): Declare checkType and checkValue. gcc/testsuite/ChangeLog: * gdc.test/fail_compilation/fail7424b.d: Update test. * gdc.test/fail_compilation/fail7424c.d: Update test. * gdc.test/fail_compilation/fail7424d.d: Update test. * gdc.test/fail_compilation/fail7424e.d: Update test. * gdc.test/fail_compilation/fail7424f.d: Update test. * gdc.test/fail_compilation/fail7424g.d: Update test. * gdc.test/fail_compilation/fail7424h.d: Update test. * gdc.test/fail_compilation/fail7424i.d: Update test. * gdc.test/compilable/test22133.d: New test. * gdc.test/fail_compilation/fail22133.d: New test. (cherry picked from commit 3e2136117487fa839f7601c3e22a2856978fb9d0)
