added #903 to the test suite
implemented 'borrow dot' feature for distinct types