","match1to2","match3to4","match5to6","match1to3","match1to4","match1to6","matchUnsigned","matchSigned","matchOffset","matchShortOffset","matchWord","addRegexToken","regex","strictRegex","isStrict","getParseRegexForToken","RegExp","regexEscape","matched","p1","p2","p3","p4","s","tokens","addParseToken","addWeekParseToken","_w","indexOf","YEAR","MONTH","DATE","HOUR","MINUTE","SECOND","MILLISECOND","WEEK","WEEKDAY","x","modMonth","o","monthsShort","months","monthsShortRegex","monthsRegex","monthsP...

Similarly, type inference uses the fact that a type argument must
<a href="#Satisfying_a_type_constraint">satisfy</a> the constraint of its respective
type parameter.
</p>

<p>
Each such pair of matched types corresponds to a <i>type equation</i> containing
one or multiple type parameters, from one or possibly multiple generic functions.
Inferring the missing type arguments means solving the resulting set of type

$0, Y1H // VZERO Y1H VSPLTISB $0, Y1L // VZERO Y1L loop_select: LXVD2X (P1ptr+R0), X2H LXVD2X (P1ptr+R16), X2L LXVD2X (P1ptr+R17), Y2H LXVD2X (P1ptr+R18), Y2L VCMPEQUD SEL2, IDX, SEL1 // Compare against idx VSEL X1L, X2L, SEL1, X1L // Select if idx matched VSEL X1H, X2H, SEL1, X1H VSEL Y1L, Y2L, SEL1, Y1L VSEL Y1H, Y2H, SEL1, Y1H VADDUBM SEL2, ONE, SEL2 // Increment SEL2 bytes by 1 ADD $64, P1ptr // Next chunk BDNZ loop_select STXVD2X X1H, (P3ptr+R0) STXVD2X X1L, (P3ptr+R16) STXVD2X Y1H, (P3ptr+R17)...