This type of syntax would allow parallel invocation of imperative code. What happens if the variable in the capture block does not match the type annotation? ``` a = {0,1,2}; b = [Imperative]( a : number ) { // do stuff }; ```