Jon Ross-Perkins c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
..
operators 2b8fdf3417 Switch the prelude to use `ref` instead of `addr` (#6359) 5 месяцев назад
types c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
copy.carbon d60900cbeb Remove special case for returning value expressions by copy (#6052) 7 месяцев назад
destroy.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
iterate.carbon c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 месяцев назад
operators.carbon 8ea92b728c Update prelude files to increase destroy dependencies (#5848) 9 месяцев назад
types.carbon 0678501038 Replace builtin `CppVoidType` with a prelude type. (#6403) 5 месяцев назад