Add example of poly variant duplication.

See #302

Author: cristianoc

analysis/tests/src/Hover.res

@@ -96,3 +96,15 @@ let _get = r => r.f +. r.i
 
 let withAs = (~xx as yyy) => yyy + 1
 //                   ^hov
+
+module AA = {
+  type cond<'a> = [< #str(string)] as 'a
+  type t<'a> = {b: cond<'a>}
+  let fun = b => {b: b}
+}
+
+let typeOk = AA.fun
+//    ^hov
+
+let typeDuplicate = AA.fun
+//                      ^hov

analysis/tests/src/expected/Hover.res.txt

@@ -58,3 +58,9 @@ Hover tests/src/Hover.res 93:25
 Hover tests/src/Hover.res 96:21
 {"contents": "```rescript\nint\n```"}
 
+Hover tests/src/Hover.res 105:6
+{"contents": "```rescript\nAA.cond<[< #str(string)]> => AA.t<[< #str(string)]>\n```"}
+
+Hover tests/src/Hover.res 108:24
+{"contents": "```rescript\nAA.cond<\n  [< #str(string) & (string) & (string)],\n> => AA.t<[< #str(string) & (string) & (string)]>\n```"}
+