[refactor] #2001: EvaluatesTo
static type checking
#2582
Merged
EvaluatesTo
static type checking
#2582