implied bounds from impl header are not used in associated functions/consts

@rustbot

The following fails to compile although it shouldn't: https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=f7287b6897a385360f7190001b58348d

/// A type with an implied bound `'b: 'a`
struct Ty<'a, 'b>(&'a &'b ());

impl<'a, 'b> Ty<'a, 'b> // <- tait or inherent impl
where
    //'b: 'a, // <- fixed by an explicit bound
{
    fn f() { // <- no `Self` in signature
        Self;
        //~^ ERROR lifetime bound not satisfied
        // Cannot prove WF of `Self` because `'b: 'a` is not known to hold
    }
}

Another repro:

struct Ty<'a, 'b>(&'a &'b ());

impl<'a, 'b> Ty<'a, 'b>{
    fn f() {
        None::<&'a &'b ()>;
        //~^ ERROR lifetime bound not satisfied
    }
}

The first repro regressed in 1.43 while the second one is as old as implied bounds.

@rustbot label A-implied-bounds A-associated-items regression-from-stable-to-stable T-types

Meta

Nightly version: 1.64.0-nightly

(2022-07-01 46b8c23)

Backtrace

<backtrace>

@rustbot

WG-prioritization assigning priority (Zulip discussion).

@rustbot label -I-prioritize +P-medium

Auto merge of rust-lang#104098 - aliemjay:fn-wf, r=<try>

The same issue exists for associated consts:

/// A type with an implied bound `'b: 'a`
struct Ty<'a, 'b>(&'a &'b ());

impl<'a, 'b> Ty<'a, 'b> {
    const CONST_1: () = ();
    const CONST_2: () = {
        Self::CONST_1
        //~^ ERROR lifetime may not live long enough
    };
}

Auto merge of rust-lang#104098 - aliemjay:fn-wf, r=<try>

Auto merge of rust-lang#120019 - lcnr:fn-wf, r=BoxyUwU

Navigation Menu

Repository navigation

implied bounds from impl header are not used in associated functions/consts #98852

Meta

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

implied bounds from impl header are not used in associated functions/consts #98852

Description

Meta

Activity

apiraino commented on Jul 4, 2022

aliemjay commented on Nov 13, 2023

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions