@@ -123,12 +123,12 @@ object CollatorOptions {
123123  ):  CollatorOptions  =  {
124124    js.Dynamic 
125125      .literal(
126-           localeMatcher =  localeMatcher,
127-           usage =  usage,
128-           sensitivity =  sensitivity,
129-           ignorePunctuation =  ignorePunctuation,
130-           numeric =  numeric,
131-           caseFirst =  caseFirst
126+           localeMatcher =  localeMatcher. asInstanceOf [js. Any ] ,
127+           usage =  usage. asInstanceOf [js. Any ] ,
128+           sensitivity =  sensitivity. asInstanceOf [js. Any ] ,
129+           ignorePunctuation =  ignorePunctuation. asInstanceOf [js. Any ] ,
130+           numeric =  numeric. asInstanceOf [js. Any ] ,
131+           caseFirst =  caseFirst. asInstanceOf [js. Any ] 
132132      )
133133      .asInstanceOf [CollatorOptions ]
134134  }
@@ -200,19 +200,19 @@ object DateTimeFormatOptions {
200200    //  format: off
201201    js.Dynamic 
202202      .literal(
203-           localeMatcher =  localeMatcher,
204-           timeZone =  timeZone,
205-           hour12 =  hour12,
206-           formatMatcher =  formatMatcher,
207-           weekday =  weekday,
208-           era =  era,
209-           year =  year,
210-           month =  month,
211-           day =  day,
212-           hour =  hour,
213-           minute =  minute,
214-           second =  second,
215-           timeZoneName =  timeZoneName
203+           localeMatcher =  localeMatcher. asInstanceOf [js. Any ] ,
204+           timeZone =  timeZone. asInstanceOf [js. Any ] ,
205+           hour12 =  hour12. asInstanceOf [js. Any ] ,
206+           formatMatcher =  formatMatcher. asInstanceOf [js. Any ] ,
207+           weekday =  weekday. asInstanceOf [js. Any ] ,
208+           era =  era. asInstanceOf [js. Any ] ,
209+           year =  year. asInstanceOf [js. Any ] ,
210+           month =  month. asInstanceOf [js. Any ] ,
211+           day =  day. asInstanceOf [js. Any ] ,
212+           hour =  hour. asInstanceOf [js. Any ] ,
213+           minute =  minute. asInstanceOf [js. Any ] ,
214+           second =  second. asInstanceOf [js. Any ] ,
215+           timeZoneName =  timeZoneName. asInstanceOf [js. Any ] 
216216      )
217217      .asInstanceOf [DateTimeFormatOptions ]
218218    //  format: on
@@ -300,16 +300,16 @@ object NumberFormatOptions {
300300  ):  NumberFormatOptions  =  {
301301    js.Dynamic 
302302      .literal(
303-           localeMatcher =  localeMatcher,
304-           style =  style,
305-           currency =  currency,
306-           currencyDisplay =  currencyDisplay,
307-           useGrouping =  useGrouping,
308-           minimumIntegerDigits =  minimumIntegerDigits,
309-           minimumFractionDigits =  minimumFractionDigits,
310-           maximumFractionDigits =  maximumFractionDigits,
311-           minimumSignificantDigits =  minimumSignificantDigits,
312-           maximumSignificantDigits =  maximumSignificantDigits
303+           localeMatcher =  localeMatcher. asInstanceOf [js. Any ] ,
304+           style =  style. asInstanceOf [js. Any ] ,
305+           currency =  currency. asInstanceOf [js. Any ] ,
306+           currencyDisplay =  currencyDisplay. asInstanceOf [js. Any ] ,
307+           useGrouping =  useGrouping. asInstanceOf [js. Any ] ,
308+           minimumIntegerDigits =  minimumIntegerDigits. asInstanceOf [js. Any ] ,
309+           minimumFractionDigits =  minimumFractionDigits. asInstanceOf [js. Any ] ,
310+           maximumFractionDigits =  maximumFractionDigits. asInstanceOf [js. Any ] ,
311+           minimumSignificantDigits =  minimumSignificantDigits. asInstanceOf [js. Any ] ,
312+           maximumSignificantDigits =  maximumSignificantDigits. asInstanceOf [js. Any ] 
313313      )
314314      .asInstanceOf [NumberFormatOptions ]
315315  }
0 commit comments