[clang] [Clang][Sema] Reject undeduced static data members without initializers (#173349) (PR #174281)

Hamza Hassanain via cfe-commits cfe-commits at lists.llvm.org
Sat Jan 3 12:52:08 PST 2026


HamzaHassanain wrote:

@zwuis 

Switched from checking `Type->isUndeducedType()` to `Type->getContainedDeducedType()` 
. 

As far as I understand:

`isUndeducedType()` looks at `E`, sees it's an alias, and returns false because `E` itself isn't technically a "deduced type" node until you unwrap it.

So, should I leave it as `Type->isUndeducedType()`  and find another condition to force calling `Sema::DeduceVariableDeclarationType`  (so as to call `deduceVarTypeFromInitializer` to hit the place where we handle `E`, `U`)

https://github.com/llvm/llvm-project/pull/174281


More information about the cfe-commits mailing list