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 месеца