First tests that pass for struct types