Karoy Lorentey 0cb4b1401e [AST] Generalize is_same_metatype builtin to take unconstrained metatypes ...

The builtin’s current is signature is:

```
(Any.Type, Any.Type) -> Bool
```

This needs to be changed to this:

```
(any (~Copyable & ~Escapable).Type, any (~Copyable & ~Escapable).Type) -> Bool
```

This requires a bit of support work in AST synthesis.

rdar://145707064

Co-authored-by: Alejandro Alonso <alejandro_alonso@apple.com>

2025-03-24 12:16:11 -07:00

132 KiB

Raw Permalink Blame History

View Raw