Function skip_borrowck_if_set 

fn skip_borrowck_if_set(providers: &mut Providers)