type V = { value: number; }

type O = {
    m(x:V): V;
    //  ^ defined: 1
    //      ^ defined: 1
};

let foo: O;
//       ^ defined: 3

  foo.m(null).value;
//^ defined: 9
//    ^ defined: 4
//            ^ defined: 1

export {};