a restaurant diner is for eating in an informal location