[test] (FAILS) defaultUpdate and type safety / should check for member types