[VM] Invalid trait implementation type-checking errors

Context

The type signature errors for trait implementation are reported on line 0, character 0. This example outputs invalid signature for method 'transfer' regarding trait's specification <sip-010-trait>, instead of something like amount must be uint [...] at the right span.

(impl-trait 'SP3FBR2AGK5H9QBDH3EEN6DF8EK8JY7RX8QJ5SVTE.sip-010-trait-ft-standard.sip-010-trait)

;; `amount` should be uint
(define-public (transfer
    (amount int)
    (sender principal)
    (recipient principal)
    (memo (optional (buff 34)))
  )
  (ok true)
)

;; rest of the contract

Expected behavior

The error should be reported on the function implementing the trait

No source file or test is named. Start by reproducing the trait implementation example and trace the VM's impl-trait type-checking entry point; done means the invalid amount type is reported on the implementing function at the correct span instead of line 0, character 0.