
<html><head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

  </head>

  <body>

    <span lang="EN-US"><o:p> </o:p></span>

    <blockquote type="cite" cite="mid:AS8PR10MB7798D2BD19F8B1F336D38960D3639@AS8PR10MB7798.EURPRD10.PROD.OUTLOOK.COM">

      <div class="WordSection1">

        <p class="MsoNormal"><span lang="EN-US">To be honest I never

            fully read the rules on when pattern values are in scope or

            not, and just always assumed it matches my mental model of

            ‘the variable is in scope if it would be definite assigned

            here assuming the variable is definite assigned iff the

            match returned true’. </span></p>

      </div>

    </blockquote>

    <br>

    In fact, this was the design rubric: "don't make users learn a new

    set of rules, just lean on DA."  <br>

    <br>

  </body>

</html>