add a error case of #858 to fail test case

make resolving can work with a type chain Involved three packages.