*: differentiate types for user variables (#18973)#21107

Merged

eurekaka merged 1 commit intopingcap:release-4.0from ti-srebot:release-4.0-de75e604ff2a

Nov 26, 2020

+1,164-127

Commits on Nov 26, 2020

cherry pick pingcap#18973 to release-4.0
eurekaka
committed