Jon Ross-Perkins
|
9704dc670e
Change the Destroy blanket impls to be more specific (#6098)
|
7 miesięcy temu |
Jon Ross-Perkins
|
5e3bb523f8
Add builtin functions for destroy, with special requirements in facet types (#6035)
|
7 miesięcy temu |
Jon Ross-Perkins
|
0518fdebbc
Fix potential fingerprint conflict in constraints (#6033)
|
7 miesięcy temu |
Chandler Carruth
|
0a679504a5
Update LLVM again to 2025-08-09 (#5958)
|
8 miesięcy temu |
Jon Ross-Perkins
|
4aa62bf5cd
Switch Destroy to addr self (#5748)
|
10 miesięcy temu |
Jon Ross-Perkins
|
0722dab0ef
Reimplement destroy as an interface (#5678)
|
10 miesięcy temu |
Dana Jansens
|
bff601e417
Add min-preludes to most of lowering and a few more slow tests (#5680)
|
10 miesięcy temu |
Richard Smith
|
42c783defa
Use `linkonce_odr` linkage for specific functions. (#5575)
|
11 miesięcy temu |
Dana Jansens
|
51498547c9
Always use `LookupImplWitness` instructions for symbolic witnesses (#5321)
|
1 rok temu |
Alina Sbirlea
|
02e9ac21bf
Fix type when lowering associated constants. (#5295)
|
1 rok temu |