https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116490
Bug ID: 116490
Summary: Crash in explicitly instantiated Function Contracts
Product: gcc
Version: 15.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: eric at efcs dot ca
Target Milestone: ---
Created attachment 59005
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59005&action=edit
stack trace
```
// g++ -fcontracts -std=c++26
template<class T>
void foo()
[[pre : T{}]] {
}
template void foo<int>();
```
The above code causes GCC to crash, please see the attached stack trace for
details of the crash.
