Richard Smith b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) vor 7 Monaten
..
builtin 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) vor 7 Monaten
call 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) vor 7 Monaten
declaration 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) vor 7 Monaten
definition 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) vor 7 Monaten
generic b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) vor 7 Monaten