This should be a new decl kind designed to capture information necessary to encode out-of-class definitions of members (even across TUs).