Range of SynExprAndBang is wrong

[nojaf]

The range of SynExprAndBang is wrong.

Repro steps

async {
    let! bar = getBar ()

    and! foo = getFoo ()

    return bar
}

Well, the source code has some TODO's which I'd like to address.

fsharp/src/fsharp/pars.fsy

Lines 3494 to 3509 in 7f7d848

	moreBinders:
	| AND_BANG headBindingPattern EQUALS typedSequentialExprBlock IN moreBinders %prec expr_let
	{ let spBind = DebugPointAtBinding.Yes(rhs2 parseState 1 5) (* TODO Pretty sure this is wrong *)
	let mEquals = rhs parseState 3
	let m = rhs parseState 1 (* TODO Pretty sure this is wrong *)
	SynExprAndBang(spBind, $1, true, $2, mEquals, $4, m) :: $6 }
	| OAND_BANG headBindingPattern EQUALS typedSequentialExprBlock hardwhiteDefnBindingsTerminator opt_OBLOCKSEP moreBinders %prec expr_let
	{ $5 "and!" (rhs parseState 1) // report unterminated error
	let spBind = DebugPointAtBinding.Yes(rhs2 parseState 1 5) (* TODO Pretty sure this is wrong *)
	let mEquals = rhs parseState 3
	let m = rhs parseState 1 (* TODO Pretty sure this is wrong *)
	SynExprAndBang(spBind, $1, true, $2, mEquals, $4, m) :: $7 }
	| %prec prec_no_more_attr_bindings
	{ [] }

Currently, the range only takes the and! keyword.

I would expect that it either:

• starts from and! and ends after the typedSequentialExprBlock
• starts from the headBindingPattern and ends after typedSequentialExprBlock

@dsyme what should the range be for the debugPoint and the SynExprAndBang node?
I'd like to pick this one up.