// Copyright 2012 Google Inc.  All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/*---
es5id: 12.3_a
description: >
    Tests that Intl.DateTimeFormat.prototype is an object that  has
    been initialized as an Intl.DateTimeFormat.
author: Roozbeh Pournader
---*/

// test by calling a function that would fail if "this" were not an object
// initialized as an Intl.DateTimeFormat
if (typeof Intl.DateTimeFormat.prototype.format(0) !== "string") {
    $ERROR("Intl.DateTimeFormat's prototype is not an object that has been " +
        "initialized as an Intl.DateTimeFormat");
}