XQuery: Inlined type checks

[ChristianGruen]

function() {
  let $s := function() as xs:string { <_>1</_>/text() }()
  return ($s, number($s))
}()

…should yield 1 1, but returns an error: [XPTY0004] Cannot treat text() as xs:string: $s := "1".