Record projections disambiguator gets confused with non-trivial types

[0xd34df00d]

Steps to Reproduce

Try typechecking

module Foo

%default total
%prefix_record_projections off

data NameKind = Name

NameTy : NameKind -> Type
NameTy Name = String

record Person where
  name : String

record Dept nk where
  name : NameTy nk

foo : Dept Name -> String -> Bool
foo d name = d.name == name

gist

Expected Behavior

Typechecks successfully — just as it does if Dept is de-NameKind-ized or if Person is removed.

Observed Behavior

Error: While processing right hand side of foo. When unifying:
    Dept Name
and:
    Person
Mismatch between: Dept Name and Person.

Foo:18:14--18:15
 14 | record Dept nk where
 15 |   name : NameTy nk
 16 | 
 17 | foo : Dept Name -> String -> Bool
 18 | foo d name = d.name == name
                   ^