IResolution.java

import checkers.igj.quals.*;
import java.util.Collection;

@I
public class IResolution {
    public static <T> @I Collection<T> forIterable(final @I Iterable<T> iterable)
    {
        @I Collection<T> col = (Collection<T>)iterable;
        return col;
    }
}