fn __action727<'input>(
    input: &'input str,
    __0: (usize, Option<Vec<Variance>>, usize),
    __1: (usize, Option<()>, usize),
    __2: (usize, (), usize),
    __3: (usize, Option<()>, usize),
    __4: (usize, (), usize),
    __5: (usize, Vec<AdtReprAttr>, usize),
    __6: (usize, &'input str, usize),
    __7: (usize, Identifier, usize),
    __8: (usize, Vec<VariableKind>, usize),
    __9: (usize, Vec<QuantifiedWhereClause>, usize),
    __10: (usize, &'input str, usize),
    __11: (usize, Vec<Variant>, usize),
    __12: (usize, &'input str, usize)
) -> AdtDefn