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