ordering tests - adding 2 new
for now we don't infer the return type of a call unless it's a complete type