Flow Analysis for Rails

Live Types for Rails made an observation: the type inference Roundhouse builds because transpilation demands it — what class is @status , what does this scope return, can this be nil — is worth having on its own. This post is the next step of that observation. You can't infer types in a Rails app without tracking flow . What class @account is depends on which before_action assigned it — which…