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