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

    <tr>
        <th>Summary</th>
        <td>
            Assertion `!A->getDeducedType().isNull() && "cannot request the size of an undeduced or dependent auto type"' for init-capture of terse function template argument used in return type
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          ecatmur
      </td>
    </tr>
</table>

<pre>
    ```c++
auto f(auto x) -> int(*)[([x = x]{}, 1)];
```
ices:
```
clang++: /root/llvm-project/clang/lib/AST/ASTContext.cpp:2299: clang::TypeInfo clang::ASTContext::getTypeInfoImpl(const clang::Type*) const: Assertion `!A->getDeducedType().isNull() && "cannot request the size of an undeduced or dependent auto type"' failed.
```
Stack dump:
```
0.      Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/clang++ -gdwarf-4 -g -o /app/output.s -mllvm --x86-asm-syntax=intel -S --gcc-toolchain=/opt/compiler-explorer/gcc-snapshot -fcolor-diagnostics -fno-crash-diagnostics -std=c++20 <source>
1.      <source>:1:41: current parser token ';'
 #0 0x000000000377c3c8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x377c3c8)
 #1 0x000000000377a0ac llvm::sys::CleanupOnSignal(unsigned long) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x377a0ac)
 #2 0x00000000036c2928 CrashRecoverySignalHandler(int) CrashRecoveryContext.cpp:0:0
 #3 0x00007f4ae7d67420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #4 0x00007f4ae782a00b raise (/lib/x86_64-linux-gnu/libc.so.6+0x4300b)
 #5 0x00007f4ae7809859 abort (/lib/x86_64-linux-gnu/libc.so.6+0x22859)
 #6 0x00007f4ae7809729 (/lib/x86_64-linux-gnu/libc.so.6+0x22729)
 #7 0x00007f4ae781afd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #8 0x0000000006de6a45 clang::ASTContext::getTypeInfoImpl(clang::Type const*) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6de6a45)
 #9 0x0000000006dd0bc7 clang::ASTContext::getTypeInfo(clang::Type const*) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6dd0bc7)
#10 0x0000000006de7a0b clang::ASTContext::getTypeInfoInChars(clang::Type const*) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6de7a0b)
#11 0x0000000006de7b23 clang::ASTContext::getTypeInfoInChars(clang::QualType) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6de7b23)
#12 0x00000000072837e5 (anonymous namespace)::ItaniumRecordLayoutBuilder::LayoutField(clang::FieldDecl const*, bool) RecordLayoutBuilder.cpp:0:0
#13 0x000000000728506f (anonymous namespace)::ItaniumRecordLayoutBuilder::LayoutFields(clang::RecordDecl const*) RecordLayoutBuilder.cpp:0:0
#14 0x0000000007280936 clang::ASTContext::getASTRecordLayout(clang::RecordDecl const*) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x7280936)
#15 0x000000000709461b clang::StmtVisitorBase<llvm::make_const_ptr, (anonymous namespace)::RecordExprEvaluator, bool>::Visit(clang::Stmt const*) ExprConstant.cpp:0:0
#16 0x0000000007095328 EvaluateRecord(clang::Expr const*, (anonymous namespace)::LValue const&, clang::APValue&, (anonymous namespace)::EvalInfo&) ExprConstant.cpp:0:0
#17 0x0000000007040487 Evaluate(clang::APValue&, (anonymous namespace)::EvalInfo&, clang::Expr const*) ExprConstant.cpp:0:0
#18 0x000000000704285e (anonymous namespace)::DataRecursiveIntBinOpEvaluator::process((anonymous namespace)::DataRecursiveIntBinOpEvaluator::EvalResult&) ExprConstant.cpp:0:0
#19 0x00000000070a1b13 (anonymous namespace)::IntExprEvaluator::VisitBinaryOperator(clang::BinaryOperator const*) ExprConstant.cpp:0:0
#20 0x00000000070510ed clang::StmtVisitorBase<llvm::make_const_ptr, (anonymous namespace)::IntExprEvaluator, bool>::Visit(clang::Stmt const*) ExprConstant.cpp:0:0
#21 0x000000000703febe Evaluate(clang::APValue&, (anonymous namespace)::EvalInfo&, clang::Expr const*) ExprConstant.cpp:0:0
#22 0x000000000704a0b9 EvaluateAsRValue((anonymous namespace)::EvalInfo&, clang::Expr const*, clang::APValue&) ExprConstant.cpp:0:0
#23 0x000000000704b6cf clang::Expr::EvaluateAsRValue(clang::Expr::EvalResult&, clang::ASTContext const&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x704b6cf)
#24 0x000000000648e9ea clang::Sema::VerifyIntegerConstantExpression(clang::Expr*, llvm::APSInt*, clang::Sema::VerifyICEDiagnoser&, clang::Sema::AllowFoldKind) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x648e9ea)
#25 0x0000000006ae9d4d clang::Sema::BuildArrayType(clang::QualType, clang::ArraySizeModifier, clang::Expr*, unsigned int, clang::SourceRange, clang::DeclarationName) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6ae9d4d)
#26 0x0000000006b04e0a GetFullTypeForDeclarator((anonymous namespace)::TypeProcessingState&, clang::QualType, clang::TypeSourceInfo*) SemaType.cpp:0:0
#27 0x0000000006b0b30a clang::Sema::GetTypeForDeclarator(clang::Declarator&, clang::Scope*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6b0b30a)
#28 0x0000000006b0b641 clang::Sema::ActOnTypeName(clang::Scope*, clang::Declarator&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6b0b641)
#29 0x0000000005f418ce clang::Parser::ParseTypeName(clang::SourceRange*, clang::DeclaratorContext, clang::AccessSpecifier, clang::Decl**, clang::ParsedAttributes*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x5f418ce)
#30 0x0000000005f40a90 clang::Parser::ParseFunctionDeclarator(clang::Declarator&, clang::ParsedAttributes&, clang::BalancedDelimiterTracker&, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x5f40a90)
#31 0x0000000005f43d3f clang::Parser::ParseDirectDeclarator(clang::Declarator&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x5f43d3f)
#32 0x0000000005f32e00 clang::Parser::ParseDeclaratorInternal(clang::Declarator&, void (clang::Parser::*)(clang::Declarator&)) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x5f32e00)
#33 0x0000000006051061 clang::Sema::runWithSufficientStackSpace(clang::SourceLocation, llvm::function_ref<void ()>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x6051061)
#34 0x0000000005f3591b clang::Parser::ParseDeclGroup(clang::ParsingDeclSpec&, clang::DeclaratorContext, clang::ParsedAttributes&, clang::SourceLocation*, clang::Parser::ForRangeInit*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x5f3591b)
#35 0x0000000005f0338b clang::Parser::ParseDeclOrFunctionDefInternal(clang::ParsedAttributes&, clang::ParsedAttributes&, clang::ParsingDeclSpec&, clang::AccessSpecifier) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x5f0338b)
#36 0x0000000005f03b11 clang::Parser::ParseDeclarationOrFunctionDefinition(clang::ParsedAttributes&, clang::ParsedAttributes&, clang::ParsingDeclSpec*, clang::AccessSpecifier) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x5f03b11)
#37 0x0000000005f0ade6 clang::Parser::ParseExternalDeclaration(clang::ParsedAttributes&, clang::ParsedAttributes&, clang::ParsingDeclSpec*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x5f0ade6)
#38 0x0000000005f0bc8d clang::Parser::ParseTopLevelDecl(clang::OpaquePtr<clang::DeclGroupRef>&, clang::Sema::ModuleImportState&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x5f0bc8d)
#39 0x0000000005f0c160 clang::Parser::ParseFirstTopLevelDecl(clang::OpaquePtr<clang::DeclGroupRef>&, clang::Sema::ModuleImportState&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x5f0c160)
#40 0x0000000005efec72 clang::ParseAST(clang::Sema&, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x5efec72)
#41 0x00000000049ebf88 clang::CodeGenAction::ExecuteAction() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x49ebf88)
#42 0x000000000424bab9 clang::FrontendAction::Execute() (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x424bab9)
#43 0x00000000041cc05e clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x41cc05e)
#44 0x000000000432ad1e clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x432ad1e)
#45 0x0000000000bf4ab6 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xbf4ab6)
#46 0x0000000000bec37a ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&, llvm::ToolContext const&) driver.cpp:0:0
#47 0x00000000040272f9 void llvm::function_ref<void ()>::callback_fn<clang::driver::CC1Command::Execute(llvm::ArrayRef<std::optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const::'lambda'()>(long) Job.cpp:0:0
#48 0x00000000036c2dd4 llvm::CrashRecoveryContext::RunSafely(llvm::function_ref<void ()>) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x36c2dd4)
#49 0x00000000040278ef clang::driver::CC1Command::Execute(llvm::ArrayRef<std::optional<llvm::StringRef>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>*, bool*) const (.part.0) Job.cpp:0:0
#50 0x0000000003fef845 clang::driver::Compilation::ExecuteCommand(clang::driver::Command const&, clang::driver::Command const*&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3fef845)
#51 0x0000000003ff02ad clang::driver::Compilation::ExecuteJobs(clang::driver::JobList const&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&, bool) const (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3ff02ad)
#52 0x0000000003ff81d5 clang::driver::Driver::ExecuteCompilation(clang::driver::Compilation&, llvm::SmallVectorImpl<std::pair<int, clang::driver::Command const*>>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0x3ff81d5)
#53 0x0000000000bf1f5c clang_main(int, char**, llvm::ToolContext const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xbf1f5c)
#54 0x0000000000aec521 main (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xaec521)
#55 0x00007f4ae780b083 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x24083)
#56 0x0000000000bebe5e _start (/opt/compiler-explorer/clang-assertions-trunk/bin/clang+++0xbebe5e)
```

I'm not entirely sure that the code is valid but hey, clang accepts for a simple-capture or non-terse function template, so I figure it probably is.
Trace looks similar to #59391.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzkW11z2zaU_TX0C0YeEvx-8IMs2Vl30yYbZ7qPGhC8lLEhARYAHbu_fgcgJRHUh5XWSju7ndQjkdDFOedeXFyAIFGKrTnAjRffevHyinT6ScgboEQ3nbwqRPl64yV-_496-Nb885eePyedFqjycGY_vHg4RzMvvEOMaw9nHp57ODdGcebFty_IC5foxYuXXnrrpUsPL1BgGyy9cDC47ab_yigoL5wfvEdrwtcDmHCOPHwvhdAevq_r52bWSvE_QM3Xod19zQoP388fv_Z_F4JreNHXtG29cI5xnhsrfeNw7oXzr68tPPBKjK_tftd_X4PeNHto2trDGRVc6amZXghk75le5kqB1ExwZNjgYG5EW4NeQtlRKPufZB7Or5n6ravr_gvycOLhBHkYU8K50EjCHx0ojfQTIMX-BCQqRDjqeNkbQkKiElrgJXCNrI-0tY09nKKKsBrK64PiPmpCv6Gya9pj8vvXnp9_lmItSYOIXHcNcK0GT4jWKi-altUgZ_DS1kKC3HhjRjYCqJmWHf_m4fuC8Z2zjFPRbF1-J7KaRWi2RjNh7JK2NdY73Xb6WqFZY3yNZrOXLJkR1czUK9fkxQuXjGuo0ewRzWZrSmdaiJo-Eca9cHkSnmmsOGnVk9BoVlFRCzkrGVlzoTSjCs0qLmZUEvXkXla69MLlMDiwj7xwoUQnKXjhXS9YYARzLofzwAvnUWADr5PSOKklUoFEWnwDjjycmpGB094C8nDoI__F3_wXpikNaYaMCn20qVfVf_gsGdfWi18loSacdo0k-b4SSksgjQ2pRT9eTYBl7-Q8D9_6LwM8M8S3-IMJfuITegj_ogbCu_YTf2RrTswI6LjNUiWqhenlEmgNGActdtAmFOc4Qwvj_S9AxTPI1x7efxBe1qbTbFDSaeOmGt_-v-0iHLpIq4hAWiZphH20WklQWkhYST3w7NPXS5askmhWM969zNa862-0-kkCKa-VuPYtlyCKsO8wiZxuMkx8v0CSMAVn2KfGcmItR6HvF47l2LXs51mcI1KIs5CPLGOcxbljOZlaTrdeP9tmil2bqWszIFWZ_JjNMKzKxLGZjaMkKSEhUfyDs4Y7XwwzxWjWeO9gH1A6NHKXRukXND2Txj9DwSLcUjDJxZ94IiV-ca4n-OKJSPUPOcMAdZgEUyYFDv8Ok__qSN3XFRckUeDQIeGkzxRnYQqx6ZdwwV8b0SnESQOqtRNU3gN90ISzrjG5U5Yfyavo9G3H6hJkf7-_dM-gLl2G9tISaD1y2AIVQtSG8wF7-_nYYA4nmGM_qd4R88Qt_U8mqH8AbTRB6-dh8kaYzB-_js2fheciETPAdSImdvj4eZQEzgB-1I3-nSmmhbwlCrxwsasdGvINVhbpqtXSOP8Nt_Vk715aefdM6o5oIbchY8szL5zbzlyNDAZHHWNhYb4TfmCSN7SSCa04xBkaOoUehtuHMenE8RtUPv5O6m6bqmxNN46Cz_b2cOMNUwZWn9OT88ilLrnIj7J0S86l9deBOHwm6pwDMpuAxFkMbwFYEk2-AO2kYs_wwPUt45_aXajYNq0UFJSyQ-NvGzNfv4Dqan22-LnLiwRFEL6Zrrh2g34X6beME_n6qQXZj4ax89x7P6Y_9l2cceBDebGBvUfwIqMaBy6nsIIC_m2Bj_Ek8Ilf5FuQc_VlwPVW-J6N6WjiOQdsOAFbJLSa9rXDM2FwtN1oSC0OT45O4tyUDJeZ9HpS40kPO5N4EmWQA3HGBjRkiFuQrHp94BrWsJXSkAWlmOAHROhdshtL88-PD_yAp_b6WNwt-_0Nw3Kq3K71vK7F93tRl__JeHmBVfkgh6OXUyQkBPIyKg-js7XTXEryOuypHayI3aAwrR_Zn_CrKFnFQB4I90G-7Y6EXfS7AtlNni-Er6f2TW1FJDHcfyMNXEKyXhFHMqcASQo_Ap-gD6Dvu9qKcC_kBphN-29kA_OTz_3Mx_j6Udt8Nw2SIwKbS708fT6xecy4zNw4nBbSCfoi9I8MkA_9MmhK54D-4lBYU7HdrH1vp_SoHadkU1pJFBwZZVR_4oZYHzLZQcwHw2ygeRE-SRQ4fJxaJK6iIKMwxvTZ7m2OPh9hNB47x3lt1jWT4UtNUD62QA8NXvNra3Nq1sIp51pLVnQa1GWCYNBkLJq7oRtXkU9y_6Ro9x2nprO_EuD7NKctbklNOIVyCTVrmAb5VRL6bTsH9HPjbo58f4EMf0egYCJQWIbVSYGWTALVZ8pzCQoGoUMBuxRCDP5pH-9Amrle9hvgp3z8LFiJ3DZjo8OTuJNCXEQLS9XRwinxErMQSI4kPdnx_2b66bGrKkYZDI8zHvuJaD9hfBTUzqpuvVMNo2UlofLCxUYnO5PdXSIv9owcytHE_XHubmocdP8HKbp236OMr81dk-D2B-9byfHt4T-V8mCeHKDeC2mT9ANn-lL50mrliBm7YvphmL0t5ie5y5rV4SH1tjbntTjpoL3Z6QKSWUUcyZKpZEUQnJV-mOCOcowzvbfMuIhwewvJnyJcEbgDN50IR0pITgp399KH1kjAnyPWJeQwbB05sokcBc3K0_WdaD_CM9R92TXW4VNL_ujgs5ZeuJgkMJv4vphsfXdq4fmrKLsaHppWSL1bgFxCB0PT0WFS5_o0SN4o2ZhU-v-GGIbrWIzIrV-hApriPTHsqZtsCv3nlJQ9JAezU1JGORRVlo0xL0QJH4DPbd7bLPuBdhqGS5vzOO-KdADiIHUqxwhHBSnyMdJ7aSZ6Xh6AeiGQPQYHpFPSRQGlfgyunH23D3a_isJhRY-zukgsDzgdIk6hFoWYlAG4ez8W8o7P87ZQyk7xvUiGHvA5BJziyC-qiBQJojRYNcTYGJ0BsttcNrEs6BMZbeCaRLNA7rVhgXEZHj1Kh0bi0gAapgRtxF8EX22mGJF5bEhd_w7UrJeatj7IKXHXBcbG_uZvjkrJno88bI2cciDycYqrvF95nbvesE0oqeuC0G-rirsJv-97iKFFsBBNQ3g5HdQHfWiPn5lrojW9k9p5gPKoJePrYRrpHbz9wWpFX16CoP9SEMXoStnmg4pOY3NhpSVhWm1uT8yRujZjQsjRfdNk9DDeOQtpF6dpTZqiJB5OR0uzbHPO6xdRHPZHNj2dVZbRyBWHzmD1d750_JFUUL86cv7speKA2In8fBpiGTibHf_vQsSIft0Sqa_9U7EQu-ciK6gy9wyWI5z1HdmbMTdqOsl88kPT4Nhj9hNN5z_j2dJAexxQsXvesqp8TMof1eUXUajjovwiio9MuY_QTqXmbRy0hJkQ2H94clLHIVh-hppWLEdNPFEzC8qjUbYcfXYKhwMVwzEv_EQ13z-99fI4-oWT-iSoYtpj3VQoG_w2rcz3Hl8em7bfvSYxyBzoTm3oE6AxDpAB_d5996advqdHbAs_C9FqVbPCZGIi9WoE5NyjsZGfOaf14mnVVUAMqLf_7vpa47ve3VcL-r8PHk4bxIVGwDWTUL8i1UlA-on0bzxQUQJiCj2TmpWo6DR6gtdt8CNCKbRaoUpIRJBiTVvDjJJWGyNCIi74TINUgDYTP9LQtLVdPS-QEugBVWxtWjONWikKUtSviKnhjQl7rh7VQnxTxjqriURa2BPReZgH11flTVjmYU6u4CZI8jzMozBOrp5uAhoVuCoSWqUUQpJEUOAgzGlAMSkIja7YDfZxGAR-ioM4D5LrEKo4yJKY0DIo_KzwIh8awuprMzCuhVxfMaU6uEmDOPevalJArezLPBhz-I7sTQ9jL15eyRv7ekzRrZUX-TVTWu2saKZruPmXvJ0iJGKc6Z3LKnTEXdvXT1Cn7NN4JEF3kltzV52sb560bu2LBfjew_drpp-64pqKZnhbaP-lISuZ8vC9lfR_AwAA__9wQk25">