Fix #920: Correct return-type lifting for exported methods
Merge pull request #921 from gzm0/fix-export-type-lifting

Fix #920: Correct return-type lifting for exported methods