type inference on record update in let doesn't work based on RHS

[shmish111]

Steps to Reproduce

Check

f : A -> A
f a =
    let x = record { fieldA = 1 } a
    in ?x

Expected Behavior

Checks successfully

Observed Behavior

Errors (1)
Test.idr:203:13
While processing right hand side of f at Test.idr:202:1--205:1:
Can't infer type for this record update

However if I replace ?x with x it will type check.

[edwinb]

I can't reproduce this because you haven't included the full example.

[shmish111]

Ooops:

record A where
    constructor MkR
    fieldA : Int

f : A -> A
f a =
    let x = record { fieldA = 1 } a
    in ?x