public class Test
{
	List<int> Bar; //FAIL: swift TODO; cl

	string() Foo;

	static int GetCount(List<int> l) => l.Count;

	static void Add(List<int>! l)
	{
		l.Add(42);
	}

	public static bool Run()
	{
		List<int>() l;
		l.Add(5);
		List<int>!? p;
		p = l;
		p.RemoveAt(0);
		p.Clear();
		l.Add(5);
		Add(l);
		p.Insert(0, 10);
		int[3] a;
		p.CopyTo(0, a, 0, 3);
		List<string()>() e1;
		List<string()>() e2;
		List<string()> pe1 = e1;
		List<Test()>() lo;
		List<Test()> lop = lo;
		return p == l && p != null && (a[0] == 10 ? l : l).Count == 3
			&& GetCount(l) == 3 && GetCount(p) == 3 && p.Contains(42)
			&& a[0] == 10 && a[1] == 5 && a[2] == 42
			&& pe1 != e2
			&& lop.Count == 0;
	}
}