rust-lang/rust-clippy

Catch transmuting Option<&T> to Option<&mut T>

Open

#372 ouverte le 8 oct. 2015

Voir sur GitHub
 (3 commentaires) (0 réactions) (1 assigné)Rust (1 391 forks)batch import
C-enhancementE-mediumT-middlegood first issue

Métriques du dépôt

Stars
 (10 406 stars)
Métriques de merge PR
 (Merge moyen 19j 22h) (113 PRs mergées en 30 j)

Description

Rustc already has a lint (mutable_transmutes) that catches transmutes from &T to &mut T, which can cause undefined behaviour. However, it doesn't catch minor variations of this problem, like Option<&T> -> Option<&mut T>, which are presumably just as dangerous. I've seen this particular example in real code. It would be nice to have a lint that catches this case (and ideally, other instances of the same problem, although this could get quite complex in the fully general case).

Guide contributeur

Direction de recherche
Étudiez le lint `mutable transmutes` existant dans le code source de Clippy pour comprendre comment il détecte les transmutes de `&T` à `&mut T`. Ensuite, étendez la logique pour gérer `Option<&T>` vers `Option<&mut T>` et potentiellement d'autres types de wrapper. Envisagez d'utiliser la résolution de types et le filtrage par motif sur le type de destination de la transmute.
Stack technique
rust
Domaine
tooling
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
RustTransmute semanticsClippy internals
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
60