Dana Jansens bf91a8b4dd Canonicalize the self in ImplSelfWitness (#7898) ...

We perform the same canonicalization as in LookupImplWitness, which
makes the output of eval more consistent across witness types, and
enables more straightforward constant comparisons between them when
needed.

2026-10-06 23:04:20 +00:00

..

basics

Add Destroy.SubobjectDestroy as a temporary replacement for Destroy.Op (#7773)

2026-09-24 00:06:28 +00:00

class

Add a Core.Array class type, and make array refer to it. (#7892)

2026-10-06 17:23:49 +00:00

const

Fix accessing members of const/partial types (#7406)

2026-06-25 00:07:39 +00:00

enum

Add Destroy.SubobjectDestroy as a temporary replacement for Destroy.Op (#7773)

2026-09-24 00:06:28 +00:00

function

Add a Core.Array class type, and make array refer to it. (#7892)

2026-10-06 17:23:49 +00:00

impls

Enable SubobjectDestroy.Op to destroy fields defined in a ClassType (#7840)

2026-10-01 21:37:17 +00:00

macros

Add a Core.Array class type, and make array refer to it. (#7892)

2026-10-06 17:23:49 +00:00

modules

Fix contention between Clang and Carbon over external name lookup. (#7411)

2026-06-24 18:36:59 +00:00

namespace

Add Destroy.SubobjectDestroy as a temporary replacement for Destroy.Op (#7773)

2026-09-24 00:06:28 +00:00

operators

Classify decorated built-in types as trivially destructible (#7847)

2026-09-28 23:16:19 +00:00

primitive_types

Canonicalize the self in ImplSelfWitness (#7898)

2026-10-06 23:04:20 +00:00

stdlib

Add a Core.Array class type, and make array refer to it. (#7892)

2026-10-06 17:23:49 +00:00

template

Special case formatting of None insts in a specific (#7882)

2026-10-01 20:17:55 +00:00

type_alias

Classify decorated built-in types as trivially destructible (#7847)

2026-09-28 23:16:19 +00:00

var

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

range_for.carbon

Enable SubobjectDestroy.Op to destroy fields defined in a ClassType (#7840)

2026-10-01 21:37:17 +00:00