Test for #1117: backend error when using type inference

Passes now that #1120 is resolved