bの型のAnyObjectは本当の型としてのAnyObjectで、 MyProtocol : AnyObjectやwhereのAnyObjectは型制約のAnyObjectで、 aの型のMyProtocolはExistentialだから自身を満たさないｗ