Merlin jumps to incorrect position (or fails to jump) for type that comes from functor

[ddickstein]

Tested on 8f1d3f1

module type T = sig
  type 'a t
end

module M (T : T) = struct
  type t = int T.t
end

module N (T : T) = struct
  type t = M(T).t
end

If I try to jump to the definition of t inside functor N, it jumps to the current type definition, even though this is not a recursive definition of t. If I specify nonrec and then try it, I get "Not in environment 't'".