Added interface test for #1478: Compiler error for refined formal class