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