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