Is there a name for this for loop pattern and if so is there a better way to write it?

Question

Here is an example function with the pattern I am referring to:

fn check_sub_listiness(big_list: &[T], small_list: &[T]) -> boo