Where is `insert_in_current_view` defined?