[server] Take advantage of isUserDefinedType to discriminate duplicates more accurately.

4 jobs for user-defined-type in 5 minutes and 25 seconds (queued for 1 second)
latest
Status Name Job ID Coverage
  Lint
passed lint #963894

00:01:13

 
  Build
passed build #963895

00:01:46

 
  Test
passed lint_history #963897

00:01:36

passed test #963896

00:02:26