I was playing with the AST's typechecked tree, and found some examples of the subject, but can't tell what is the rule for that to occur. It was a local binding.<div><br></div><div>Do you have a hint and/or a minimal example? Thanks!</div><div><br></div><div>Robin</div>