Geoff Romer 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
..
alias c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) vor 4 Monaten
array c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) vor 4 Monaten
as c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) vor 4 Monaten
basics 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
builtins 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
choice c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) vor 4 Monaten
class 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
const 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
dataflow fec6ce2f9f Implement "unused pattern bindings" p2022 - parsing (#6460) vor 4 Monaten
deduce 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
eval c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) vor 4 Monaten
facet 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
for 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
function 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
generic 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
global 5ae5170421 Allow deduction of tuple and struct literals as symbolic generic facet types (#6365) vor 5 Monaten
if 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
if_expr 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
impl 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
index 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
interface 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
interop 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
let 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
main_run 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
named_constraint 90f839e84e Add IR tagging to RequireImplsIds (#6525) vor 4 Monaten
namespace 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
operators 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
package_expr c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) vor 4 Monaten
packages 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
patterns c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) vor 4 Monaten
pointer 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
primitives c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) vor 4 Monaten
return 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
struct 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
tuple 0e5874b203 Model category conversion as a state machine. (#6535) vor 4 Monaten
var 505b1c86b9 Initial support for return forms (#6556) vor 3 Monaten
where_expr c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) vor 4 Monaten
while 41ed82e033 Add basic support for strings to core, check, and lower. (#5963) vor 8 Monaten