Reported Agda issue 865.
Fixed type_check_notes rule.