Interface ContributeAndOverrideSameKeyDetails

Per A2-β §6.1.

interface ContributeAndOverrideSameKeyDetails {
    kind: string;
    module: string;
    name: string;
    reason: "contribute-and-override-same-key";
}