Search results for: 'resolve open sequences in type'