exception with object yields incorrect type #4481
Original bug ID: 4481
When catching an exception whose argument is an
exception A of < .. >;;
exception A of < .. >
try raise (A (object method x = 1 end)) with A o -> o#x;;
The type of the last expression should be int.