<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/133688>133688</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [Clang][Sema] Stack overflow when trying to get the layout of a class with a member with a nested dependency
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          alejandro-alvarez-sonarsource
      </td>
    </tr>
</table>

<pre>
    There is an assertion error when built with assertions enabled:

```
clang++: /root/build/tools/clang/include/clang/AST/TypeNodes.inc:77: clang::TypeInfo clang::ASTContext::getTypeInfoImpl(const clang::Type*) const: Assertion `!T->isDependentType() && "should not see dependent types here"' failed.
```

The reproducer:

```cpp
template <typename T> auto id(const T &obj) -> decltype(obj.identifier());

template <typename T> struct ContainedId {
  auto operator()(const T &obj) -> decltype(id(obj));
};

template <class T, class = decltype(ContainedId<T>{}.operator()(T{}))>
class Container {};

class Contained {
public:
  int identifier();
};

class Collection {
 Container<Contained> m_changesToPersist;
};

Collection collection;
```

This is a regression from clang 17: https://godbolt.org/z/x5ezKnf79

I have bisected this, and I think it was introduced by #75456

Note that the crash happens because `identifier` can not be resolved due to const-nedness, adding a `const` makes the problem go away and the code compiles.

This is a detail, just making it possible not to resolve `identifier` (by renaming, deleting, etc.) is enough to trigger the crash.

The two levels of indirection are relevant: `Container<Contained> -> ContainedId<Contained> -> id`
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyMVVFv4jgQ_jXmZVQUHEjKAw8UFqk6aXVSeT859pC469iRPaHL_vrTxEC77a10ktUmjP3NN1_m86iUbOsRN2L1JFb7mRqpC3GjHL4qb2J4UO6sIv56SMGrmMIYNc6aYC6bY4cRwSZQHlRKGMkGDxhjiPDWoYdmtI7gzVL3Hk-AXjUOjSi3ophWVVxXsdVO-VbIJ17lFoQ8xBBIyANDGSEPFIJLQh6uGw_Wazca_PDL9uUo5OF4GfB7MJjm1mtRbuua8fKecivKLW949qfw8bfty3EXPOFPyu8t0m3bcz84IR918Ik-wwi5FXINU4yzbO9acFFycXwQ5Teb9jigN-gpn3nkM0JWQlYgpExdGJ0BHwgSIpjbZqDLgAlYaiGlkDWclHVo5p-UE8X22CFEHGIwo8b4VV89DKLYEvaDU4Qgyh1je9UjHEX5DdRIAay5l3lkeqF5ZaJcAhjUjjL50LzOLfOzJ4sxV8OrfMpJ_5wlURw1AQutrEfzbEDUfAoygTBgVBTumP-DzMQ5x9451Pv_JKOdSgmOQu4gP4py_xHrAy9R7pgxs6v38y-8jjlwS_ott29K99IiXHfcePwevtU9jI2zOn8uAOsJvgj7paIbknOoc6dlCe-pRbm752G1-n90p3yL6Rj-xpgsd-pn0A9w-v54jX7uNJsm40PENmJKfOYUQ5-tAYvJbR3RkLgueRDy0AbTBEfzENmlv4Q8_Fzhr7_8qV5n0Gfo1BmhsQk1oQHqbOLPpLyBZ37zP8ASvKnEIuUuN9BcQMiyXi1XVYb5HgiBOkVAHYKOKnXQqWFAn6BBrcaE7MsPGlcFaOUn6zXsoBTcGQ2YEYFCtvWDR-MxZT7GWN-CYpTs-aqAXv3ANGUcYmgc9tAGUG_qMtGfmATDf_rBOkzzzzoaJGUdw7-OiRiOc1iCIaRkG4cTPQo3el9LEPKxuUBkp1m-CHdg0CFdn5H0nK1j-f4NY9sxFkXbthjfhZq_XyT0FsDhGV2CcALrjY3X3lCRRXJ4Vn667kRV_LHtJqf-bqmvcWtEVczMpjTrcq1muFnUy3JZ1I-1nHUbVReLk8FSG7Nen2pdL9fFWq31SS_Wla7Lmd3IQq6KslwU9apeLea6Oq3MUhWVWaBRlRLLAntl3dy5c8_9N7MpjbhZlGX1-DhzqkGXpvEn5XWKSJ6EccMHHpqxTWJZOJsovUOQJTfNzN10YrUXq6cX7JVY7eGFlP4B4Yzx5MJbnoUUL_xFKUCLuTWduoSRWF11vYrypIQe-wbj7c1jYjfcBoK-zMboNp-8Zakbm7kOvZAHpnj99zDE8IqaB-hUMk_Oa9Xnjfw3AAD__9vdi6E">