Richard Smith b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 miesięcy temu
..
alias 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
array 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
as 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
basics b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 miesięcy temu
builtins b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 miesięcy temu
choice 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
class b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 miesięcy temu
const 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
deduce b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 miesięcy temu
eval b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 miesięcy temu
facet b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 miesięcy temu
for 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
function b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 miesięcy temu
generic b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 miesięcy temu
global 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) 10 miesięcy temu
if 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
if_expr 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
impl b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 miesięcy temu
index 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
interface b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 miesięcy temu
interop b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 miesięcy temu
let 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
main_run 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
namespace 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
operators b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 miesięcy temu
package_expr 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
packages 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
patterns 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
pointer 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
primitives 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
return 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
struct 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
tuple 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
var 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
where_expr 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 miesięcy temu
while 41ed82e033 Add basic support for strings to core, check, and lower. (#5963) 8 miesięcy temu