Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

&[Trait] should probably not be allowed #21748

Copy link
Copy link
@Ms2ger

Description

@Ms2ger
Issue body actions

This compiles:

trait Reader {}
fn perform(readers: &[Reader]) -> usize { 0 }

and this complains that there is no len():

trait Reader {}
fn perform(readers: &[Reader]) -> usize { readers.len() }

It seems to me like both should fail to compile with an error about sticking DSTs in a slice.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-DSTsArea: Dynamically-sized types (DSTs)Area: Dynamically-sized types (DSTs)A-type-systemArea: Type systemArea: Type system

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      Morty Proxy This is a proxified and sanitized view of the page, visit original site.