(New solver) Checking the name of any instance in Roblox in an if statement causes a type error

[daydreamyluna]

Checking the name of any instance (I used Folder here as an example) and then adding another condition to the if statement that involves the same instance causes this weird type error, it's trying to do the name refinement but then runs into the "blocked-number" error. This only happens with the name property, nothing else. It is also obvious that the solver is not working as intended here as it makes the type never. It is also worth noting that the warning only appears once you try to access another property/method. Just reporting here because it told me to and I don't think there is any issue with my code. It happens when you check the name of any instance. Might be an issue on Roblox's end since its exclusive to the name property but it seems like something that could be fixed with a solver update based on the warning.

Other details:

• It's not an issue with FindFirstChild as I tried with other properties and methods, same result.
• It happens even if part_1 has no type annotation. A typecast doesn't fix it either, same result.
• It's not an issue with script.Parent, I tried accessing instances in other ways, same result.