carbon-lang
carbon-lang copied to clipboard
Matching redeclarations
Require exact syntactic matching in redeclarations. Provide new terminology for
redeclaration matching and agreement. Specify non-redeclaration rules for the
other contexts where we require multiple declarations to match, such as impls
of interfaces, impls of virtual fns.