Home | History | Annotate | Download | only in 549-checker-types-merge 
      1 Checker test for testing the type merge during reference type propagation.
      2