So, we can think the correct variable will match with the correct type of variable and the correct constraint will match with the correct type of constraint.
எனவே, சரியான மாறி சரியான வகை மாறியுடன் பொருந்தும் என்றும் சரியான கட்டுப்பாடு சரியான வகை கட்டுப்பாட்டுடன் பொருந்தும் என்றும் நாம் நினைக்கலாம்.